| 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 | 240* | 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 | 176 | 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 | 152 | 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 | 141 | 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 | 93 | 2020 |
| 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 | 92 | 2024 |
| 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 | 88 | 2022 |
| Bounded verification with on-the-fly discrepancy computation C Fan, S Mitra International Symposium on Automated Technology for Verification and …, 2015 | 70 | 2015 |
| 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 | 66 | 2024 |
| 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 | 59 | 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 | 53 | 2020 |
| 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 | 46 | 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 | 45 | 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 | 43 | 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 | 40 | 2020 |
| Density constrained reinforcement learning Z Qin, Y Chen, C Fan International conference on machine learning, 8682-8692, 2021 | 38 | 2021 |
| 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 |
| Reactive motion planning with probabilistics safety guarantees Y Chen, U Rosolia, C Fan, AD Ames, R Murray Conference on Robot Learning (CoRL), 2020 | 35 | 2020 |
Sayan MitraProfessor, ECE, University of Illinois at Urbana Champaignillinois.edu의 이메일 확인됨