MIT LL Trusted Autonomy
This group focuses on verifiable algorithm development for autonomous systems
Pinned
Repositories
Showing 6 of 6 repositories
- pyquaticus Public
A PettingZoo (https://pettingzoo.farama.org/) environment for maritime Capture the Flag with uncrewed surface vehicles (USVs).
- cbfToolbox Public
A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.
- mit-ll-trusted-autonomy.github.io Public
Organization website for MIT Lincoln Laboratory Trusted Autonomy Team.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…