Smart sampling for lightweight verification of Markov decision processes
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent work has introduced the elements of lightweight techniques to sample directly fr...
Guardado en:
| Autores principales: | D'Argenio, Pedro Ruben, Legay, Axel, Sedwards, Sean, Traonouez, Louis-Marie |
|---|---|
| Formato: | article |
| Lenguaje: | Inglés |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/27275 https://doi.org/10.48550/arXiv.1409.2116 |
| Aporte de: |
Ejemplares similares
-
Sampling
por: Thompson, Steven K., 1945-
Publicado: (2012) -
Sampling: an introduction for social scientists.
por: Conway, Freda
Publicado: (1967) -
Survey sampling : theory and methods /
por: Chaudhuri, Arijit, 1940-, et al.
Publicado: (2005) -
Two phase sampling /
por: Ahmad, Zahoor
Publicado: (2013) -
Some theory of sampling /
por: Deming, W. Edwards (William Edwards), 1900-1993
Publicado: (1966)