Verse Publications
==================

`Verse: A Python library for reasoning about multi-agent hybrid system scenarios <https://arxiv.org/abs/2301.08714>`_ 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 <https://arxiv.org/abs/2303.13819>`_ 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.