Smart sampling for lightweight verification of Markov decision processes

Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Bibliographic Details
Main Authors: D'Argenio, Pedro Ruben, Legay, Axel, Sedwards, Sean, Traonouez, Louis-Marie
Format:
Language:eng
Published: 2022
Subjects:
Online Access:http://hdl.handle.net/11086/27275
https://doi.org/10.48550/arXiv.1409.2116