FACTEST

swMATH41311MaRDI QIDQ1353897FDOQ1353897

Author name not available (Why is that?)

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)

• ReachNN
• LTLMoP
• nncontroller
• PythonRobotics
• pypoman

This page was built for software: FACTEST