Main menu
Biblios
-
2021
Optimal mixed discrete-continuous planning for linear hybrid systems
The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) -
2021
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
AIAA Scitech 2021 Forum -
2021
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) -
2021
Planning in Dynamic and Partially Unknown Environments
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) -
2021
Controller synthesis for linear system with reach-avoid specifications
Transactions on Automatic Control -
2021
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Conference on Learning Representations -
2021
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Conference on Learning for Dynamics and Control (L4DC) -
2020
Reactive motion planning with probabilistics safety guarantees
Conference on Robot Learning (CoRL) -
2020
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
International Conference on Computer Aided Verification (CAV)