4 citations · 6 across the 19 of their papers we have counts for
5 papers · 1 filter
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Gustavo A. Cardona, Kevin Leahy, Makai Mann +1
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis…
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
In this work, we consider the problem of autonomous exploration in search of targets while respecting a fixed energy budget. The robot is equipped with an incremental-resolution sy…
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
This paper considers the safety-critical navigation problem with Signal Temporal Logic (STL) tasks. We developed an explicit reference governor-guided control barrier function (ERG…
Robustness Measures and Monitors for Time Window Temporal Logic
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron +1
Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specifica…
Symbolic Perception Risk in Autonomous Driving
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile +1
We develop a novel framework to assess the risk of misperception in a traffic sign classification task in the presence of exogenous noise. We consider the problem in an autonomous…