Pages that link to "Item:Q2986938"
From MaRDI portal
The following pages link to Specification-guided controller synthesis for linear systems and safe linear-time temporal logic (Q2986938):
Displaying 4 items.
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control (Q2178207) (← links)
- Geometric control of hybrid systems (Q2677099) (← links)
