dc.contributor.author | D'Argenio, Pedro Ruben | |
dc.contributor.author | Legay, Axel | |
dc.contributor.author | Sedwards, Sean | |
dc.contributor.author | Traonouez, Louis-Marie | |
dc.date.accessioned | 2022-07-14T13:15:33Z | |
dc.date.available | 2022-07-14T13:15:33Z | |
dc.date.issued | 2015 | |
dc.identifier.uri | http://hdl.handle.net/11086/27275 | |
dc.description.abstract | 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 from scheduler space, but finding optimal schedulers by simple sampling may be inefficient. Here we describe “smart” sampling algorithms that can make substantial improvements in performance. | en |
dc.format.medium | Impreso; Electrónico y/o Digital | |
dc.language.iso | eng | es |
dc.relation | https://doi.org/10.1007/s10009-015-0383-0 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.source | ISSN: 1433-2779 | |
dc.subject | Statistical model checking | en |
dc.subject | Sampling | en |
dc.subject | Nondeterminism | en |
dc.title | Smart sampling for lightweight verification of Markov decision processes | en |
dc.type | article | es |
dc.description.version | submittedVersion | es |
dc.description.fil | Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.description.fil | Fil: Legay, Axel. Inria Rennes-Bretagne Atlantique; France. | es |
dc.description.fil | Fil: Sedwards, Sean. Inria Rennes-Bretagne Atlantique; France. | es |
dc.description.fil | Fil: Traonouez, Louis-Marie. Inria Rennes-Bretagne Atlantique; France. | es |
dc.journal.country | Alemania | es |
dc.journal.editorial | Springer | en |
dc.journal.number | 4 | es |
dc.journal.pagination | 469-484 | es |
dc.journal.referato | Con referato | |
dc.journal.title | International Journal on Software Tools for Technology Transfer | en |
dc.journal.volume | 17 | es |
dc.description.field | Ciencias de la Computación | |
dc.identifier.doi | https://doi.org/10.48550/arXiv.1409.2116 | |