Publications

Export 2 results:
Type [ Year(Asc)]
Filters: Keyword is Continuous-Time Markov Chains  [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)
2009
Bortolussi L, Policriti A.  2009.  Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back.. Transactions On Computational Systems Biology. 11:216–267. (1.76 MB)