Found 12 results
Filters: Author is Fan, Chuchu [Clear All Filters]
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.
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.
Reactive and Safe Road User Simulations using Neural Barrier Certificates. arXiv preprint arXiv:2109.06689.. 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.