×

Found 5 Documents (Results 1–5)

Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Bisimulations and logical characterizations on continuous-time Markov decision processes. (English) Zbl 1428.68191

McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 98-117 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1344.68170

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 108-123 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field