lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::verification Namespace Reference

Collection of utilities used to verify whether the system abides by the given specifications. More...

Detailed Description

Collection of utilities used to verify whether the system abides by the given specifications.