The following pages link to TuLiP (Q31994):
Displaying 15 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Reachability in parametric interval Markov chains using constraints (Q1786613) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models (Q2225131) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- SCOTS (Q2988967) (← links)
- ROCS (Q4561444) (← links)
- pFaces (Q5239246) (← links)