| DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems C Fan, B Qi, S Mitra, M Viswanathan Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 93 | 2017 |
| Automatic reachability analysis for nonlinear hybrid models with C2E2 C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 87 | 2016 |
| Bounded verification with on-the-fly discrepancy computation C Fan, S Mitra Automated Technology for Verification and Analysis: 13th International …, 2015 | 65 | 2015 |
| 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 | 59 | 2021 |
| Learning certified control using contraction metric D Sun, S Jha, C Fan Conference on Robot Learning (CoRL), 2020 | 58 | 2020 |
| Safe nonlinear control using robust neural lyapunov-barrier functions C Dawson, Z Qin, S Gao, C Fan Conference on Robot Learning, 1724-1735, 2022 | 53 | 2022 |
| 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 | 44 | 2016 |
| 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, 2023 | 42* | 2023 |
| Invariant verification of nonlinear hybrid automata networks of cardiac cells Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 34 | 2014 |
| Controller synthesis made real: Reach-avoid specifications and linear dynamics C Fan, U Mathur, S Mitra, M Viswanathan Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 33 | 2018 |
| Fast and guaranteed safe controller synthesis for nonlinear vehicle models C Fan, K Miller, S Mitra Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 32 | 2020 |
| Meeting a powertrain verification challenge PS Duggirala, C Fan, S Mitra, M Viswanathan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 32 | 2015 |
| Image super-resolution via analysis sparse prior Q Ning, K Chen, L Yi, C Fan, Y Lu, J Wen IEEE Signal Processing Letters 20 (4), 399-402, 2013 | 32 | 2013 |
| ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ... Proc. of the 5th International Workshop on Applied Verification for …, 2018 | 25 | 2018 |
| Bounded invariant verification for time-delayed nonlinear networked dynamical systems Z Huang, C Fan, S Mitra Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017 | 25 | 2017 |
| Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features C Fan, B Qi, S Mitra IEEE Design & Test 35 (3), 31-38, 2018 | 24 | 2018 |
| 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 | 23 | 2022 |
| 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 | 21 | 2022 |
| Density constrained reinforcement learning Z Qin, Y Chen, C Fan International Conference on Machine Learning, 8682-8692, 2021 | 18 | 2021 |
| Simulation-driven reachability using matrix measures C Fan, J Kapinski, X Jin, S Mitra ACM Transactions on Embedded Computing Systems (TECS) 17 (1), 1-28, 2017 | 17 | 2017 |
Sayan MitraUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
