Publications

2025

• Approximate Probabilistic Bisimulation for Continuous-Time Markov ChainsSpork, T., Baier, C., Katoen, J. P., Klüppelholz, S. & Piribauer, J., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media B.V., p. 56-81, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model Checking Markov Chains as Distribution TransformersAghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, p. 293-313, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Multiplicative Rewards in Markovian ModelsBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 2025, Proceedings - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers (IEEE), p. 499-512, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Responsibility in Actor-Based SystemsBaier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (eds.). 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
• Sound Statistical Model Checking for Probabilities and Expected RewardsBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Cham, p. 167–190, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

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 '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Cordy, M., Struber, D., Pinto, M., Groher, I., Dhungana, D., Krüger, J., Alves Pereira, J., Acher, M., Thüm, 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
• Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation MeasuresBaier, C., Piribauer, J. & Starke, M., 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, p. 9:1-9:20, 20 p., 9Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Demonic Variance and a Non-Determinism Score for Markov Decision ProcessesPiribauer, J., 23 Aug 2024, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) . Kralovic, R. & Kucera, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 79:1-79:15, 15 p., 79Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution