Publications

Export 1 results:
Type [ Year(Asc)]
Filters: Keyword is Uncertain Continuous-Time Markov chains  [Clear All Filters]
2015
Bortolussi L, Milios D, Sanguinetti G.  2015.  U-Check: model checking and parameter synthesis under uncertainty. Quantitative Evaluation of Systems (QEST). 9259:89–104. (584.59 KB)