MIT LL Trusted Autonomy
This group focuses on verifiable algorithm development for autonomous systems
Pinned Repositories
.github
Readme
cbfToolbox
A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.
iitchs
Core functionality for the IITCHS framework.
mit-ll-trusted-autonomy.github.io
Organization website for MIT Lincoln Laboratory Trusted Autonomy Team.
pCBF
pCBF is a MOOS application for adding control-barrier function to MOOS-IvP simulations and deployments.
pyquaticus
A PettingZoo (https://pettingzoo.farama.org/) environment for maritime Capture the Flag with uncrewed surface vehicles (USVs).
MIT LL Trusted Autonomy's Repositories
mit-ll-trusted-autonomy/cbfToolbox
A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.
mit-ll-trusted-autonomy/pyquaticus
A PettingZoo (https://pettingzoo.farama.org/) environment for maritime Capture the Flag with uncrewed surface vehicles (USVs).
mit-ll-trusted-autonomy/iitchs
Core functionality for the IITCHS framework.
mit-ll-trusted-autonomy/.github
Readme
mit-ll-trusted-autonomy/mit-ll-trusted-autonomy.github.io
Organization website for MIT Lincoln Laboratory Trusted Autonomy Team.
mit-ll-trusted-autonomy/pCBF
pCBF is a MOOS application for adding control-barrier function to MOOS-IvP simulations and deployments.