SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems / Wang, Qinsi; Zuliani, P; Kong, Soonho; Gao, Sicun; Clarke Edmund, M.. - 9308:(2015), pp. 1-30. [10.1007/978-3-319-23401-4_3]
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems
Zuliani P;
2015
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.