fmrbenchmark
0.0.4
|
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.
For details, consult the API module Problem domain: Scaling chains of integrators.
For details, consult the API module Problem domain: Traffic network of Dubins cars.