🚗
https://spmaniato.me/about
Robotics Software Engineer
- San Francisco, CA, USA
- https://www.spmaniato.me
Pinned Loading
-
ros-planning/navigation
ros-planning/navigation PublicROS Navigation stack. Code for finding where the robot is and how it can get somewhere else.
-
-
VerifiableRobotics/ReSpeC
VerifiableRobotics/ReSpeC PublicReactive (LTL) Specification Construction kit
-
team-vigir/vigir_behavior_synthesis
team-vigir/vigir_behavior_synthesis PublicROS packages that enable the automatic synthesis of executable state machines.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.