Explore projects

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