TuLiP
From MaRDI portal
Software:31994
No author found.
Related Items (15)
SCOTS ⋮ 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 ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Abstraction-based control synthesis using partial information ⋮ pFaces ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Augmented finite transition systems as abstractions for control synthesis ⋮ Fast and guaranteed safe controller synthesis for nonlinear vehicle models ⋮ GR(1)*: GR(1) specifications extended with existential guarantees ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ ROCS ⋮ Reachability in parametric interval Markov chains using constraints ⋮ Constructive hybrid games
This page was built for software: TuLiP
