This is the API manual for the fmrbenchmark repository, which is part of a project to develop benchmark problems for research in so-called "formal methods for robotics." This API manual is of interest if you will extend, modify, or in general, work directly with the source code of the various benchmarks and supporting infrastructure. For installation instructions, introductions about usage, and examples, consult the User's Guide.

Warning: The API is not stable. No part of it can be considered stable until version 0.1.0. Beginning at that time, the API manual will include details about whether or how parts of the API may change.

Problem domains

Scaling chains of integrators

For details, consult the API module Problem domain: Scaling chains of integrators.

Traffic network of Dubins cars

For details, consult the API module Problem domain: Traffic network of Dubins cars.