Filters: Author is Christel Baier [Clear All Filters]
“On the probabilistic bisimulation spectrum with silent moves”, Acta Informatica, vol. 57, pp. 465–512, 2020. paper-350.pdf (867.02 KB)
, “A Hierarchy of Scheduler Classes for Stochastic Automata”, in Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, vol. 10803, Springer, 2018, pp. 384–402. paper-341.pdf (1.2 MB)
, “Partial Order Reduction for Probabilistic Branching Time”, Electr. Notes Theor. Comput. Sci., vol. 153, no. 2, pp. 97-116, 2006. paper-21.pdf (432.14 KB)
,