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