|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
| ▼Nlucid | Root namespace for the lucid library |
| Nconstants | Constants values used in the lucid library |
| Nexception | Collection of exceptions that can be thrown by lucid |
| Ninternal | Internal implementation details for Eigen extensions |
| Nlog | Collection of logging utilities |
| Nmetrics | Collection of metric measuring functions |
| Nplt | Lucid's matplotlib wrapper |
| Nrandom | Collection of random functions |
| Nscorer | Collection of utilities used to score the accuracy of estimators |
| Nverification | Collection of utilities used to verify whether the system abides by the given specifications |