Pages that link to "Item:Q2986770"
From MaRDI portal
The following pages link to Regularization of bellman equations for infinite-horizon probabilistic properties (Q2986770):
Displaying 4 items.
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← 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)
