A comprehensive list of Chuchu’s publications is available on Google Scholar page.
- Chen J, Li J, Huang Y, Garrett C, Sun D, Fan C, Hofmann A, Mueller C, Koenig S, Williams BC. Cooperative Task and Motion Planning for Multi-Arm Assembly Systems. arXiv preprint arXiv:2203.02475. 2022 Mar 4.
- Dawson C, Gao S, Fan C. Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. arXiv preprint arXiv:2202.11762. 2022 Feb 23.
2022 (Back to top)
- Zhang R, Yu C, Chen J, Fan C, Gao S. Learning-based Manipulation Planning in Dynamic Environments Using GNNs and Temporal Encoding. Conference on Neural Information Processing Systems 2022.
- Dawson C, Fan C. Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. IEEE/RSJ International Conference on Intelligent Robots and Systems 2022.
- Dawson C, Fan C. Certifiable Robot Design Optimization using Differentiable Programming. Robotics: Science and Systems 2022.
- Zhang H, Chen J, Li J, Williams BC, Koenig S. Multi-Agent Path Finding for Precedence-Constrained Goal Sequences. In Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems 2022 May 9 (pp. 1464-1472).
- Qin X, Xian Y, Zutshi A, Fan C, Deshmukh JV. Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. In 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS) 2022 May 4 (pp. 116-126). IEEE.
- Ning Q, Zhou B, Wu H, Peng H, Fan C, Gardner M. A Meta-framework for Spatiotemporal Quantity Extraction from Text. In Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) 2022 May (pp. 2736-2749).
- Sun D, Chen J, Mitra S, Fan C. 2022. Multi-agent motion planning from signal temporal logic specifications, IEEE Robotics and Automation Letters, Vol. 7, No. 2, pp 3451-3458.
Qin Z, Sun D, Fan C. SABLAS: Learning Safe Control for Black-box Dynamical Systems. IEEE Robotics and Automation Letters. 2022 Jan 13;7(2):1928-35.
- Dawson C, Qin Z, Gao S, Fan C. Safe nonlinear control using robust neural Lyapunov-barrier functions. In Conference on Robot Learning 2022 Jan 11 (pp. 1724-1735). PMLR.
- Meng Y, Sun D, Qiu Z, Waez MT, Fan C. Learning density distribution of reachable states for autonomous systems. In Conference on Robot Learning 2022 Jan 11 (pp. 124-136). PMLR.
- Dawson C, Lowenkamp B, Goff D, Fan C. Learning safe, generalizable perception-based hybrid control with certificates. IEEE Robotics and Automation Letters. 2022 Jan 10;7(2):1904-11.
Meng Y, Qiu Z, Waez MT, Fan C. Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. In NASA Formal Methods Symposium 2022 (pp. 251-271). Springer, Cham.
- Taye AG, Bertram J, Fan C, Wei P. Reachability based Online Safety Verification for High-Density Urban Air Mobility Trajectory Planning. In AIAA AVIATION 2022 Forum 2022 (p. 3542).
2021 (Back to top)
- Tsukamoto H, Chung SJ, Slotine JJ, Fan C. A theoretical overview of neural contraction metrics for learning-based control with guaranteed stability. In 2021 60th IEEE Conference on Decision and Control (CDC) 2021 Dec 14 (pp. 2949-2954). IEEE..
- Meng Y, Qin Z, Fan C. Reactive and safe road user simulations using neural barrier certificates. In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2021 Sep 27 (pp. 6299-6306). IEEE.
- Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control, 2021 Mar 30;67(4):1713-27.. . 2021.
- Density constrained reinforcement learning. International Conference on Machine Learning. 2021 Jul 1 (pp. 8682-8692). PMLR. . 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. Conference on Learning Representations. . 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 May 19 (pp. 1-12). . 2021.
- Planning in Dynamic and Partially Unknown Environments. IFAC-PapersOnLine. 2021 Jan 1;54(5):169-74. . 2021.
- Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. Conference on Learning for Dynamics and Control (L4DC), 2021 May 29 (pp. 728-741). PMLR. . 2021.
- Learning Certified Control using Contraction Metric. Conference on Robot Learning (CoRL), 2021 Oct 4 (pp. 1519-1539). PMLR. .
2020 (Back to top)
- Chen J, Li J, Fan C, Williams BC. Scalable and safe multi-agent motion planning with nonlinear dynamics and bounded disturbances. In Proceedings of the AAAI Conference on Artificial Intelligence 2021 May 18 (Vol. 35, No. 13, pp. 11237-11245).
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652. . 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.