Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej Abstract probabilistic automata. (English) Zbl 1296.68092 Inf. Comput. 232, 66-116 (2013). MSC: 68Q45 68Q87 PDFBibTeX XMLCite \textit{B. Delahaye} et al., Inf. Comput. 232, 66--116 (2013; Zbl 1296.68092) Full Text: DOI
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej Consistency and refinement for interval Markov chains. (English) Zbl 1247.68195 J. Log. Algebr. Program. 81, No. 3, 209-226 (2012). MSC: 68Q87 68Q17 60J10 68Q60 PDFBibTeX XMLCite \textit{B. Delahaye} et al., J. Log. Algebr. Program. 81, No. 3, 209--226 (2012; Zbl 1247.68195) Full Text: DOI
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej Constraint Markov chains. (English) Zbl 1223.68070 Theor. Comput. Sci. 412, No. 34, 4373-4404 (2011). Reviewer: Thomas Jansen (Cork) MSC: 68Q60 60J10 PDFBibTeX XMLCite \textit{B. Caillaud} et al., Theor. Comput. Sci. 412, No. 34, 4373--4404 (2011; Zbl 1223.68070) Full Text: DOI
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej Decision problems for interval Markov chains. (English) Zbl 1330.68109 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 274-285 (2011). MSC: 68Q25 60J10 68Q87 PDFBibTeX XMLCite \textit{B. Delahaye} et al., Lect. Notes Comput. Sci. 6638, 274--285 (2011; Zbl 1330.68109) Full Text: DOI
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej Abstract probabilistic automata. (English) Zbl 1317.68095 Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 324-339 (2011). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{B. Delahaye} et al., Lect. Notes Comput. Sci. 6538, 324--339 (2011; Zbl 1317.68095) Full Text: DOI
Aceto, Luca; Ingólfsdóttir, Anna; Pedersen, Mikkel Lykke; Poulsen, Jan Characteristic formulae for timed autoamta. (English) Zbl 0974.68121 Theor. Inform. Appl. 34, No. 6, 565-584 (2000). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Inform. Appl. 34, No. 6, 565--584 (2000; Zbl 0974.68121) Full Text: DOI EuDML