Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
Conference
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
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
Pages
