FACTEST

MaRDI QIDQ1353897swMATHFDO

Official website https://kmmille.github.io/FACTEST/index.html

Source code repository https://github.com/kmmille/FACTEST

Described by source

• Fast and guaranteed safe controller synthesis for nonlinear vehicle models

Cited in

(5)

• LTLMoP
• nncontroller
• PythonRobotics
• ReachNN
• pypoman

This page was built for software: FACTEST