V

Verse-library

Library for modeling, simulation, and verification of interacting autonomous agents