Pages that link to "Item:Q2103672"
From MaRDI portal
The following pages link to Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672):
Displaying 6 items.
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235) (← links)
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)