Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2301.08714
Cited By
v1
v2 (latest)
Verse: A Python library for reasoning about multi-agent hybrid system scenarios
International Conference on Computer Aided Verification (CAV), 2023
20 January 2023
Yangge Li
Haoqing Zhu
Katherine Braught
Keyi Shen
Sayan Mitra
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Verse: A Python library for reasoning about multi-agent hybrid system scenarios"
4 / 4 papers shown
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
Eric Vin
Kyle A. Miller
Inigo Incer
Sanjit A. Seshia
Daniel J. Fremont
180
1
0
04 Nov 2025
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation
Yangge Li
B. C. Yang
Sayan Mitra
249
1
0
12 Nov 2024
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
Yangge Li
Benjamin C Yang
Yixuan Jia
Daniel Zhuang
Sayan Mitra
444
7
0
15 Nov 2023
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller
Christopher K. Zeitler
William Shen
Kerianne L. Hobbs
Sayan Mitra
John Schierman
Mahesh Viswanathan
231
0
0
06 Oct 2023
1
Page 1 of 1
