Pages that link to "Item:Q5919894"
From MaRDI portal
The following pages link to Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894):
Displaying 3 items.
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
