D'Argenio, P. R., Legay, A., Sedwards, S., & Traonouez, L. (2022). Smart sampling for lightweight verification of Markov decision processes.
Cita Chicago Style (17a ed.)D'Argenio, Pedro Ruben, Axel Legay, Sean Sedwards, y Louis-Marie Traonouez. Smart Sampling for Lightweight Verification of Markov Decision Processes. 2022.
Cita MLA (8a ed.)D'Argenio, Pedro Ruben, et al. Smart Sampling for Lightweight Verification of Markov Decision Processes. 2022.
Precaución: Estas citas no son 100% exactas.