Statistical Model Checking for Markov Decision Processes / Henriques, D; Martins, J G; Zuliani, P; Platzer, A; Clarke, E M. - (2012). [10.1109/QEST.2012.19]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


