LTLMoP

swMATH23171MaRDI QIDQ34955FDOQ34955

Author name not available (Why is that?)

Cited In (4)

• PuRSUE -- from specification of robotic environments to synthesis of controllers
• 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