GitHub repository: AutoVerse-ai/Verse-library
Primary language: Jupyter Notebook
Description: Library for modeling, simulation, and verification of interacting autonomous agents