Publications associées à Logique temporelle linéaire

Data-Driven Behaviour Estimation in Parametric Games

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 ...

Elsevier2023

The 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 Publishing2021

System 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 ...

2021

Bidirectional 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 ...

2021

Multidimensional 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 ...

MDPI2020

Butterfly 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 ...

IEEE2019

Verifying 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 ...

ACM2019

From 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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Logique temporelle linéaire

Data-Driven Behaviour Estimation in Parametric Games

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata

The time course of serial dependence: an interplay between perceptual decisions and task relevant representations

System and method for high beam quality pulse generation in mode-locked multimode fiber lasers

Bidirectional Recoil Leaders in Upward Lightning Flashes Observed at the Säntis Tower

Multidimensional Measures of Physical Activity and Their Association with Gross Motor Capacity in Children and Adolescents with Cerebral Palsy

Exact Synthesis of LTL Properties from Traces

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems

Verifying Software Network Functions with No Verification Expertise

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Graph Chatbot

Chattez avec Graph Search

Multidimensional Measures of Physical Activity and Their Association with Gross Motor Capacity in Children and Adolescents with Cerebral Palsy

Data-Driven Behaviour Estimation in Parametric Games

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata

The time course of serial dependence: an interplay between perceptual decisions and task relevant representations

Bidirectional Recoil Leaders in Upward Lightning Flashes Observed at the Säntis Tower

Exact Synthesis of LTL Properties from Traces

Verifying Software Network Functions with No Verification Expertise

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems

From Uncertainty Data to Robust Policies for Temporal Logic Planning