FaSTrack

MaRDI QIDQ55744swMATHFDO

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
• FACTEST
• pypoman
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
• 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