Publications

Sayan Mitra, Corina Pasareanu, Pavithra Prabhakar, Sanjit Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu (2025). Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey. Principles of Verification: Cycling the Probabilistic Landscape.
Cite
Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra (2024). Assuring safety of vision-based swarm formation control. 2024 American Control Conference (ACC).
PDF Cite
Yangge Li, Benjamin C Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra (2024). Refining perception contracts: Case studies in vision-based safe auto-landing. arXiv preprint arXiv:2311.08652.
PDF Cite
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra (2023). Verse: A python library for reasoning about multi-agent hybrid system scenarios. International Conference on Computer Aided Verification.
PDF Cite Code Slides Video
Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan (2023). Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors. Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
Cite
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra (2023). Parallel and incremental verification of hybrid automata with ray and verse. International Symposium on Automated Technology for Verification and Analysis.
PDF Cite
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Others (2023). ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics. 10th International Workshop on Applied Verification of Continuous and Hybrid Systems.
Cite
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang (2023). ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. EPiC Series in Computing.
Cite
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra (2022). Verifying controllers with vision-based perception using safe approximate abstractions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
PDF Cite
Michael Abraham, Aaron Mayne, Tristan Perez, Italo Romani De Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra (2022). Industry-track: Challenges in rebooting autonomy with deep learned perception. 2022 International Conference on Embedded Software (EMSOFT).
Cite