GitHub repository: lyg1597/Verse-library
Description: Library for modeling, simulation, and verification of interacting autonomous agents