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.


