swMATH23171MaRDI QIDQ34955FDOQ34955
Author name not available (Why is that?)
Official website: https://ltlmop.github.io/
Cited In (15)
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Polsat
- CoSyma
- PESSOA
- TuLiP
- ROCS
- VeriPhy
- pFaces
- PuRSUE
- PythonRobotics
- FACTEST
- pypoman
- Dynamic hierarchical reactive controller synthesis
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
- Constructive hybrid games
This page was built for software: LTLMoP
