Publications

2025

• Certificates and witnesses for multi-objective queries in Markov decision processesBaier, C., Chau, C. & Klüppelholz, S., Jun 2025, In: Performance EvaluationElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Responsibility in Actor-Based SystemsBaier, C., Klüppelholz, S. & Lehmann, J., 2025, Lecture Notes in Computer Science. Springer Science and Business Media B.V., p. 44-69, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report

2024

• Entropic risk for turn-based stochastic gamesBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dec 2024, In: Information and computation. 301(2024), Part A, 105214Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Configuring BDD Compilation Techniques for Feature ModelsDubslaff, C., Husung, N. & Käfer, N., 2 Sep 2024, SPLC 2024 - 28th ACM International Systems and Software Product Line Conference, Proceedings. Cordy, M., Struber, D., Struber, D., Pinto, M., Groher, I., Dhungana, D., Kruger, J., Alves Pereira, J., Acher, M., Thum, T., Thum, T., ter Beek, M. H., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Ternava, X., Galindo, J. A., Yue, T., Fuentes, L. & Horcas, J. M. (eds.). Association for Computing Machinery (ACM), Vol. A. p. 209-216, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Spectrum of Approximate Probabilistic BisimulationsSpork, T., Baier, C., Katoen, J., Piribauer, J. & Quatmann, T., 29 Aug 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Linear dynamical systems with continuous weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, p. 22:1-22:11, 11 p., 22Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Backward Responsibility in Transition Systems Using General Power IndicesBaier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Lazy model checking for recursive state machinesDubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modeling. 23, 2, p. 369-401, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Foundations of probability-raising causality in Markov decision processesBaier, C., Piribauer, J. & Ziemek, R., 19 Jan 2024, In: Logical methods in computer science : LMCS. 20, 1, p. 4:1–4:66, 66 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Certificates and Witnesses for Multi-objective Queries in Markov Decision ProcessesBaier, C., Chau, C. & Klüppelholz, S., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (eds.). Cham: Springer Nature Switzerland, p. 1-18, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution