swMATH20173MaRDI QIDQ31994FDOQ31994
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1967747
Cited In (40)
- GR(1)*: GR(1) specifications extended with existential guarantees
- Augmented finite transition systems as abstractions for control synthesis
- SCOTS: a tool for the synthesis of symbolic controllers
- On distributed symbolic control of interconnected systems under persistency specifications
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Quantitative verification and strategy synthesis for stochastic games
- GAVS
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- GIST
- QUASY
- Rex
- Jimple
- CoSyma
- PESSOA
- SCOTS
- ROCS
- Solace
- LTLMoP
- COLIN
- DryVR
- BDD2Implement
- VeriPhy
- pFaces
- SENSE
- OMPL
- Strix
- pFaces
- Abstraction-based control synthesis using partial information
- MultiGain
- Control Toolbox
- FaSTrack
- PythonRobotics
- Resource-aware networked control systems under temporal logic specifications
- FACTEST
- ParNMPC
- pypoman
- Dynamic hierarchical reactive controller synthesis
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
- Constructive hybrid games
This page was built for software: TuLiP
