Found 15 results
Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.. 2021.
Density constrained reinforcement learning. International Conference on Machine Learning. :8682–8692.. 2021.
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models. AIAA Scitech 2021 Forum.. 2021.
Learning Density Distribution of Reachable States for Autonomous Systems. arXiv preprint arXiv:2109.06728.. 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.
Reactive and Safe Road User Simulations using Neural Barrier Certificates. arXiv preprint arXiv:2109.06689.. 2021.
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. 5th Annual Conference on Robot Learning.. 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.