Pages that link to "Item:Q503162"
From MaRDI portal
The following pages link to Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162):
Displaying 3 items.
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)