Publications associées à Logique temporelle

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

Non-Hermitian time evolution: From static to parametric instability

Romain Christophe Rémy Fleury, Aleksi Antoine Bossart

Eigenmode coalescence imparts remarkable properties to non-Hermitian time evolution, culminating in a purely non-Hermitian spectral degeneracy known as an exceptional point (EP). Here, we revisit time evolution around EPs, looking at both static and period ...

2021

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

Temporal analysis of multimodal data to predict collaborative learning outcomes

Kshitij Sharma, Jennifer Kaitlyn Olsen

The analysis of multiple data streams is a long-standing practice within educational research. Both multimodal data analysis and temporal analysis have been applied successfully, but in the area of collaborative learning, very few studies have investigated ...

WILEY2020

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

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

Temporal aspects of feature integration in vision

Data-Driven Behaviour Estimation in Parametric Games

Non-Hermitian time evolution: From static to parametric instability

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

Temporal analysis of multimodal data to predict collaborative learning outcomes

Exact Synthesis of LTL Properties from Traces

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

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Graph Chatbot

Chattez avec Graph Search

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

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

Non-Hermitian time evolution: From static to parametric instability

Temporal aspects of feature integration in vision

Data-Driven Behaviour Estimation in Parametric Games

Temporal analysis of multimodal data to predict collaborative learning outcomes

Exact Synthesis of LTL Properties from Traces

From Uncertainty Data to Robust Policies for Temporal Logic Planning

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

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