Pages that link to "Item:Q2986934"
From MaRDI portal
The following pages link to Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934):
Displayed 12 items.
- Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems (Q2074755) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)