Efficient computation of the bounds of continuous time imprecise Markov chains

Statistical Reasoning With Imprecise Probabilities

L. H. Wasserman, Peter Walley · Journal of the American Statistical Association · 1993 · 2.7K citations

Computing, Computer Science, Mathematics +12

Model-checking algorithms for continuous-time markov chains

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2003 · 770 citations

Engineering, Computer Engineering, Computer Science +17

Difference Methods for Differential Inclusions: A Survey

Asen L. Dontchev, Frank Lempio · SIAM Review · 1992 · 203 citations · Full text

Computing, Computational Engineering, Computational Mechanics +15

A survey of the theory of coherent lower previsions

Enrique Miranda · International Journal of Approximate Reasoning · 2007 · 144 citations

Natural Sciences, Mathematics, Set Theory +3

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Christel Baier, Holger Hermanns, Joost-Pieter Katoen et al. · Theoretical Computer Science · 2005 · 123 citations · Full text

Engineering, Computer Science, Mathematics +11