TuLiP
From MaRDI portal
Software:31994
swMATH20173MaRDI QIDQ31994FDOQ31994
Author name not available (Why is that?)
Cited In (15)
- GR(1)*: GR(1) specifications extended with existential guarantees
- Augmented finite transition systems as abstractions for control synthesis
- 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
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- ROCS
- pFaces
- Abstraction-based control synthesis using partial information
- Resource-aware networked control systems under temporal logic specifications
- Dynamic hierarchical reactive controller synthesis
- Reachability in parametric interval Markov chains using constraints
- SCOTS
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
- Constructive hybrid games
This page was built for software: TuLiP
