Baier, Christel; Piribauer, Jakob; Ziemek, Robin Foundations of probability-raising causality in Markov decision processes. (English) Zbl 07814912 Log. Methods Comput. Sci. 20, No. 1, Paper No. 4, 66 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Baier} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 4, 66 p. (2024; Zbl 07814912) Full Text: DOI arXiv
Baier, Christel; Funke, Florian; Piribauer, Jakob; Ziemek, Robin On probability-raising causality in Markov decision processes. (English) Zbl 07793022 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 40-60 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 13242, 40--60 (2022; Zbl 07793022) Full Text: DOI arXiv
Baier, Christel; Dubslaff, Clemens; Funke, Florian; Jantsch, Simon; Piribauer, Jakob; Ziemek, Robin Operational causality – necessarily sufficient and sufficiently necessary. (English) Zbl 1524.68185 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, 27-45 (2022). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 13560, 27--45 (2022; Zbl 1524.68185) Full Text: DOI
Käfer, Nikolai; Baier, Christel; Diller, Martin; Dubslaff, Clemens; Gaggl, Sarah Alice; Hermanns, Holger Admissibility in probabilistic argumentation. (English) Zbl 07566003 J. Artif. Intell. Res. (JAIR) 74, 957-1009 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{N. Käfer} et al., J. Artif. Intell. Res. (JAIR) 74, 957--1009 (2022; Zbl 07566003) Full Text: DOI
Baier, Christel; Funke, Florian; Jantsch, Simon; Piribauer, Jakob; Ziemek, Robin Probabilistic causes in Markov chains. (English) Zbl 1497.68356 Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 205-221 (2021). MSC: 68Q87 03B70 60J10 60J20 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 12971, 205--221 (2021; Zbl 1497.68356) Full Text: DOI arXiv
Jantsch, Simon; Müller, David; Baier, Christel; Klein, Joachim From LTL to unambiguous Büchi automata via disambiguation of alternating automata. (English) Zbl 1505.68022 Form. Methods Syst. Des. 58, No. 1-2, 42-82 (2021). MSC: 68Q45 03B44 03D05 68Q60 PDFBibTeX XMLCite \textit{S. Jantsch} et al., Form. Methods Syst. Des. 58, No. 1--2, 42--82 (2021; Zbl 1505.68022) Full Text: DOI arXiv
Funke, Florian; Jantsch, Simon; Baier, Christel Farkas certificates and minimal witnesses for probabilistic reachability constraints. (English) Zbl 1507.68187 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 324-345 (2020). MSC: 68Q60 68Q17 68Q85 90C40 PDFBibTeX XMLCite \textit{F. Funke} et al., Lect. Notes Comput. Sci. 12078, 324--345 (2020; Zbl 1507.68187) Full Text: DOI arXiv
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta Model checking probabilistic systems. (English) Zbl 1392.68227 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 963-999 (2018). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., in: Handbook of model checking. Cham: Springer. 963--999 (2018; Zbl 1392.68227) Full Text: DOI
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha Maximizing the conditional expected reward for reaching the goal. (English) Zbl 1453.90180 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 269-285 (2017). MSC: 90C40 68Q25 68W40 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 10206, 269--285 (2017; Zbl 1453.90180) Full Text: DOI arXiv
Krähmann, Daniel; Schubert, Jana; Baier, Christel; Dubslaff, Clemens Ratio and weight quantiles. (English) Zbl 1465.68155 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 344-356 (2015). MSC: 68Q45 60J10 68Q25 PDFBibTeX XMLCite \textit{D. Krähmann} et al., Lect. Notes Comput. Sci. 9234, 344--356 (2015; Zbl 1465.68155) Full Text: DOI
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014). MSC: 68Q60 60J20 60J25 68M20 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 8464, 96--123 (2014; Zbl 1407.68279) Full Text: DOI
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P. Model checking for performability. (English) Zbl 1358.68181 Math. Struct. Comput. Sci. 23, No. 4, 751-795 (2013). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Math. Struct. Comput. Sci. 23, No. 4, 751--795 (2013; Zbl 1358.68181) Full Text: DOI
Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter Performability assessment by model checking of Markov reward models. (English) Zbl 1209.68309 Form. Methods Syst. Des. 36, No. 1, 1-36 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Baier} et al., Form. Methods Syst. Des. 36, No. 1, 1--36 (2010; Zbl 1209.68309) Full Text: DOI
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus Probabilistic and topological semantics for timed automata. (English) Zbl 1135.68464 Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 179-191 (2007). MSC: 68Q60 68Q45 68Q55 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 4855, 179--191 (2007; Zbl 1135.68464) Full Text: DOI
Baier, C.; Bertrand, N.; Schnoebelen, Ph. Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness. (English) Zbl 1225.68108 Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 212-227 (2006). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 4229, 212--227 (2006; Zbl 1225.68108) Full Text: DOI
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. (English) Zbl 1081.90066 Theor. Comput. Sci. 345, No. 1, 2-26 (2005). MSC: 90C40 68Q60 PDFBibTeX XMLCite \textit{C. Baier} et al., Theor. Comput. Sci. 345, No. 1, 2--26 (2005; Zbl 1081.90066) Full Text: DOI Link
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena Comparative branching-time semantics for Markov chains. (English) Zbl 1101.68053 Inf. Comput. 200, No. 2, 149-214 (2005). MSC: 68Q55 68Q10 68Q60 60J10 60J27 68Q85 PDFBibTeX XMLCite \textit{C. Baier} et al., Inf. Comput. 200, No. 2, 149--214 (2005; Zbl 1101.68053) Full Text: DOI Link