A C++ library for modelling, simulation, and verification of multi-agent hybrid systems.
TODO:
- Implement a 3-agent ACC benchmark. For that do we need to define a new agent?
- Implement the NRS. Have a dummy agent to store shared variables.
- Simulate all agents together in a scenario.
- Have another simulate method here which takes an arg n and simulates n trajectories from random starting points. Consider a parallel implementation of simulating n trajectories.
- Remove ugliness in Discrete Dynamics: Parsing or something midway?
- Avoid fixing the template in Scenario