Pages that link to "Item:Q515573"
From MaRDI portal
The following pages link to Quantitative model-checking of controlled discrete-time Markov processes (Q515573):
Displaying 5 items.
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion (Q1746693) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
