Collision checker for the mu-calculus model checker. More...
#include <smp/components/collision_checkers/base.h>#include <smp/common/region.h>#include <list>Go to the source code of this file.
Classes | |
| class | smp::collision_checker_mu_calculus< typeparams, NUM_DIMENSIONS > |
| mu-calculus collision checker More... | |
Namespaces | |
| namespace | smp |
Sampling-based Motion Planning (SMP) Library. | |
Collision checker for the mu-calculus model checker.
This file implements the collision checking process for the mu-calculus model checker. The region class, which is used to describe rectangular obstacles in the Euclidean space is defined in region.h