| Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control C Dawson, S Gao, C Fan IEEE Transactions on Robotics 39 (3), 1749-1767, 2023 | 217* | 2023 |
| Safe nonlinear control using robust neural lyapunov-barrier functions C Dawson, Z Qin, S Gao, C Fan Conference on Robot Learning, 1724-1735, 2022 | 169 | 2022 |
| Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates Z Qin, K Zhang, Y Chen, J Chen, C Fan International Conference on Learning Representations (ICLR), 2021 | 142 | 2021 |
| DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems C Fan, B Qi, S Mitra, M Viswanathan International Conference on Computer Aided Verification, 441-461, 2017 | 139 | 2017 |
| Automatic reachability analysis for nonlinear hybrid models with C2E2 C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala International Conference on Computer Aided Verification, 531-538, 2016 | 105 | 2016 |
| Learning certified control using contraction metric D Sun, S Jha, C Fan Conference on Robot Learning (CoRL), 2020 | 90 | 2020 |
| Multi-agent motion planning from signal temporal logic specifications D Sun, J Chen, S Mitra, C Fan IEEE Robotics and Automation Letters 7 (2), 3451-3458, 2022 | 83 | 2022 |
| Autotamp: Autoregressive task and motion planning with llms as translators and checkers Y Chen, J Arkin, C Dawson, Y Zhang, N Roy, C Fan 2024 IEEE International conference on robotics and automation (ICRA), 6695-6702, 2024 | 79 | 2024 |
| Bounded verification with on-the-fly discrepancy computation C Fan, S Mitra International Symposium on Automated Technology for Verification and …, 2015 | 70 | 2015 |
| Learning safe, generalizable perception-based hybrid control with certificates C Dawson, B Lowenkamp, D Goff, C Fan IEEE Robotics and Automation Letters 7 (2), 1904-1911, 2022 | 55 | 2022 |
| Fast and guaranteed safe controller synthesis for nonlinear vehicle models C Fan, K Miller, S Mitra International Conference on Computer Aided Verification, 629-652, 2020 | 52 | 2020 |
| Scalable multi-robot collaboration with large language models: Centralized or decentralized systems? Y Chen, J Arkin, Y Zhang, N Roy, C Fan 2024 IEEE International Conference on Robotics and Automation (ICRA), 4311-4317, 2024 | 51 | 2024 |
| Locally optimal reach set over-approximation for nonlinear systems C Fan, J Kapinski, X Jin, S Mitra Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016 | 48 | 2016 |
| Nl2tl: Transforming natural languages to temporal logics using large language models Y Chen, R Gandhi, Y Zhang, C Fan arXiv preprint arXiv:2305.07766, 2023 | 43 | 2023 |
| Sablas: Learning Safe Control for Black-Box Dynamical Systems Z Qin, D Sun, C Fan IEEE Robotics and Automation Letters 7 (2), 1928-1935, 2022 | 43 | 2022 |
| Controller synthesis made real: Reach-avoid specifications and linear dynamics C Fan, U Mathur, S Mitra, M Viswanathan International Conference on Computer Aided Verification, 347-366, 2018 | 41 | 2018 |
| Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances J Chen, J Li, C Fan, B Williams AAAI 2021 Conference, 2020 | 38 | 2020 |
| Invariant verification of nonlinear hybrid automata networks of cardiac cells Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska International Conference on Computer Aided Verification, 373-390, 2014 | 37 | 2014 |
| Density constrained reinforcement learning Z Qin, Y Chen, C Fan International conference on machine learning, 8682-8692, 2021 | 36 | 2021 |
| Meeting a powertrain verification challenge PS Duggirala, C Fan, S Mitra, M Viswanathan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 35 | 2015 |
Sayan MitraUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
