Concept
Logique temporelle linéaire
Publications associées (62)
Data-Driven Behaviour Estimation in Parametric Games
Anna Maria Maddux, Nicolò Pagan
A central question in multi-agent strategic games deals with learning the underlying utilities driving the agents' behaviour. Motivated by the increasing availability of large data-sets, we develop an unifying data-driven technique to estimate agents' util ...
Elsevier2023The Complexity of Checking Non-Emptiness in Symbolic Tree Automata
We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted word ...
2023The time course of serial dependence: an interplay between perceptual decisions and task relevant representations
Michael Herzog, David Pascucci, Gizay Ceylan
In serial dependence (SD), features of a present stimulus are judged as similar to previously presented ones. This bias is often explained by a continuity field (CF) in perception, combining similar stimuli in an extended region of space (∼ 15°) and time ( ...
SAGE Publishing2021System and method for high beam quality pulse generation in mode-locked multimode fiber lasers
Demetri Psaltis, Christophe Moser, Ugur Tegin
A system and method to generate ultrashort high beam quality pulses from spatio- temporally mode-locked multimode fiber laser are described. The invention relies on engineering the intra-cavity pulse propagation in a multimode laser cavity to shape the spa ...
2021Bidirectional Recoil Leaders in Upward Lightning Flashes Observed at the Säntis Tower
Marcos Rubinstein, Mohammad Azadifar, Antonio Sunjerga, Amirhossein Mostajabi
We report the observation of three negative upward flashes recorded by a high-speed camera at the Säntis Tower during the Summer of 2019. The camera was operating at 10,000 fps and an exposure time of 99 μs. Simultaneous measurements of the lightning curre ...
2021Multidimensional Measures of Physical Activity and Their Association with Gross Motor Capacity in Children and Adolescents with Cerebral Palsy
Anisoara Ionescu, Lena Carcreff, Stéphane Armand
The current lack of adapted performance metrics leads clinicians to focus on what children with cerebral palsy (CP) do in a clinical setting, despite the ongoing debate on whether capacity (what they do at best) adequately reflects performance (what they d ...
MDPI2020Exact Synthesis of LTL Properties from Traces
We present an exact approach to synthesize temporal-logic formulas in linear temporal logic (LTL) from a set of given positive and negative example traces. Our approach uses topology structures, in particular partial DAGs, to partition the search space int ...
IEEE2019Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
Mathias Josef Payer, Amir Aminifar
Increasing internet connectivity poses an existential threat for cyber-physical systems. Securing these safety-critical systems becomes an important challenge. Cyber-physical systems often comprise several control applications that are implemented on share ...
IEEE2019Verifying Software Network Functions with No Verification Expertise
George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo
We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...
ACM2019From Uncertainty Data to Robust Policies for Temporal Logic Planning
Maryam Kamgarpour, Tony Alan Wood
We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. ...
ACM2018