Welcome to Verse documentation!

Verse is a Python library for creating, simulating, and verifying scenarios with interacting, agents developed at the Reliable Autonomy Research Group of University of Illinois, Urbana-Champaign. The decision logic of an agent can be written in an expressive subset of Python. The continuous evolution can be described as a black-box simulation function. The agent can be ported across maps, which can be defined from scratch or imported from opendrive. Verse scenarios can be simulated and verified using hybrid reachability analysis. For a technical overview see the Verse paper from CAV23 or arXiv.

Contents:

• Installation
• A First Look at Verse
  • Import a map
  • Create an agent
  • Create a scenario
  • Run scenario
• Troubleshooting Verse
  • Unsuported Operations
  • Interpreting the Console Output
  • Resolving Infinite Loops
  • Other Issues
• Agent
  • Agent Class
  • Simulator
  • DecisionLogic
• Map
• Sensor
• Scenario
  • verse.ScenarioConfig
  • verse.Scenario.add_agent
  • verse.Scenario.set_init_single
  • verse.Scenario.set_init
  • verse.Scenario.set_sensor
  • verse.Scenario.set_map
  • Simulation & Reachability Analysis
• Parser
  • Goals
  • Working Principle
  • Limitations
• Analysis
• Reachtubes
• Visualization
  • Common paramteres
  • 2D Visualization
  • 3D Visualization
• Contributors
  • Core development template
  • Application developers
  • Past Contributors
  • Sponsors
• Verse Publications

API Documentation

verse

Indices and tables

• Index

• Module Index

• Search Page