×

Found 25 Documents (Results 1–25)

Equivalence checking 40 years after: a review of bisimulation tools. (English) Zbl 1524.68189

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 213-265 (2022).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Parameter and controller synthesis for Markov chains with actions and state labels. (English) Zbl 1429.68142

André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 63-76 (2015).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Quantitative analysis of concurrent reversible computations. (English) Zbl 1465.68197

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 206-221 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Stuttering for abstract probabilistic automata. (English) Zbl 1437.68094

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 149-163 (2013).
PDFBibTeX XMLCite
Full Text: DOI

The how and why of interactive Markov chains. (English) Zbl 1312.68152

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 311-337 (2010).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Compositional abstraction for stochastic systems. (English) Zbl 1262.68142

Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 195-211 (2009).
MSC:  68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Distributed Markovian bisimulation reduction aimed at CSL model checking. (English) Zbl 1286.68306

Černá, Ivana (ed.) et al., Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 2, 35-50 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software