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