Publications

Export 1 results:
Type [ Year(Asc)]
Filters: Keyword is Uncertainty  [Clear All Filters]
In Press
Bortolussi L, Milios D, Sanguinetti G.  In Press.  Smoothed model checking for uncertain Continuous-Time Markov Chains. Information and Computation. :-. (519.48 KB)