PyPI page
Home page
Author:
Project Ghost contributors
License:
Apache-2.0
Summary:
Autonomy under uncertainty: closed-loop reference pipeline + 5 formal safety properties verifiable byte-exact from any MCAP + TLA+ mechanically-verified BAUD/ERUR/MD/partition over the abstract state space.
Latest version:
0.2.5
Required dependencies:
mcap
|
numpy
Optional dependencies:
deptry
|
hypothesis
|
mypy
|
pandas
|
plotly
|
pre-commit
|
pybullet
|
pytest
|
pytest-cov
|
pyulog
|
rerun-sdk
|
ruff
|
scipy
|
streamlit
Downloads last day:
1
Downloads last week:
17
Downloads last month:
561