FaSTrack

MaRDI QIDQ55744swMATHFDO

Official website https://arxiv.org/abs/1703.07373

Source code repository https://github.com/HJReachability/fastrack

Cited in

(14)

• pypoman
• FACTEST
• Fast and guaranteed safe controller synthesis for nonlinear vehicle models
• PESSOA
• CoSyma
• TuLiP
• LTLMoP
• COLIN
• FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
• PythonRobotics
• helperOC
• SOTER
• Formal methods for robot motion planning with time and space constraints (extended abstract)

This page was built for software: FaSTrack