External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra. Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Volume 13964 of Lecture Notes in Computer Science, pages 351-364, Springer, 2023. [doi]

Authors

Yangge Li

This author has not been identified. Look up 'Yangge Li' in Google

Haoqing Zhu

This author has not been identified. Look up 'Haoqing Zhu' in Google

Katherine Braught

This author has not been identified. Look up 'Katherine Braught' in Google

Keyi Shen

This author has not been identified. Look up 'Keyi Shen' in Google

Sayan Mitra

This author has not been identified. Look up 'Sayan Mitra' in Google
runs on