We are a team of researchers and software developers focused on flexible, intelligent, and trustworthy autonomy. We leverage techniques from formal methods, control theory, and robotics to develop algorithms for autonomous systems with safety guarantees. Our work starts with fundamental theory and delivers prototypes operating in the real world. Please take a look at our publications below and check out our software on GitHub.
mit-ll-trusted-autonomy/.github
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Readme
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published