Conference
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Symbolic Perception Risk in Autonomous Driving
Robustness Measures and Monitors for Time Window Temporal Logic
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
Temporal Logic Swarm Control with Splitting and Merging
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Pages
![Subscribe to RSS - Conference](https://cristianvasile.com/misc/feed.png)