LTLMoP
From MaRDI portal
Software:34955
No author found.
Related Items (4)
Dynamic hierarchical reactive controller synthesis ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ Fast and guaranteed safe controller synthesis for nonlinear vehicle models ⋮ Constructive hybrid games
This page was built for software: LTLMoP
