swMATH40044MaRDI QIDQ55744FDOQ55744
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1703.07373
Source code repository: https://github.com/HJReachability/fastrack
Cited In (14)
- Formal methods for robot motion planning with time and space constraints (extended abstract)
- CoSyma
- PESSOA
- TuLiP
- LTLMoP
- COLIN
- helperOC
- PythonRobotics
- SOTER
- A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
- FACTEST
- pypoman
- FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
This page was built for software: FaSTrack
