Verse Publications

Verse: A Python library for reasoning about multi-agent hybrid system scenarios Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra, in the proceedings of Computer Aided Verification (CAV), 2023.

Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan, in the Work in Progress Session of International Conference on Cyber-Physical Systems (WiP-ICCPS), 2023.

Parallel and incremental verification of hybrid automata with Ray and Verse. Haoqing Zhu, Yangge Li, Keyi Shen, and Sayan Mitra, to appear in proceedings of 21st Intl. Symposium on Automated Technologies for Verification and Analysis (ATVA), 2023.