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

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present the Verse library with the aim of making hybrid system verification more usable for multi-agent scenarios. In Verse, decision making agents move in a map and interact with each other through sensors. The decision logic for each agent is written in a subset of Python and the continuous dynamics is given by a black-box simulator. Multiple agents can be instantiated, and they can be ported to different maps for creating scenarios. Verse provides functions for simulating and verifying such scenarios using existing reachability analysis algorithms. We illustrate capabilities and use cases of the library with heterogeneous agents, incremental verification, different sensor models, and plug-n-play subroutines for post computations.

Original languageEnglish (US)
Title of host publicationComputer Aided Verification - 35th International Conference, CAV 2023, Proceedings
EditorsConstantin Enea, Akash Lal
PublisherSpringer
Pages351-364
Number of pages14
ISBN (Print)9783031377051
DOIs
StatePublished - 2023
Event35th International Conference on Computer Aided Verification, CAV 2023 - Paris, France
Duration: Jul 17 2023Jul 22 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13964 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference35th International Conference on Computer Aided Verification, CAV 2023
Country/TerritoryFrance
CityParis
Period7/17/237/22/23

Keywords

  • Hybrid Systems
  • Reachability
  • Scenario verification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios'. Together they form a unique fingerprint.

Cite this