Found 11 results
Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.. 2021.
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models. AIAA Scitech 2021 Forum.. 2021.
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. Conference on Learning Representations.. 2021.
Optimal mixed discrete-continuous planning for linear hybrid systems. The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC).. 2021.
Planning in Dynamic and Partially Unknown Environments. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).. 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.
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. Conference on Learning for Dynamics and Control (L4DC).. 2021.
Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.. 2020.
Learning Certified Control using Contraction Metric. Conference on Robot Learning (CoRL).. 2020.
Multi-agent safety verification using symmetry transformations. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 12078 LNCS:173–190.. 2020.
Reactive motion planning with probabilistics safety guarantees. Conference on Robot Learning (CoRL).. 2020.