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 5 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)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
- Fast symbolic algorithms for omega-regular games under strong transition fairness (Q6566589) (← links)
