Publications

2024

• 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 für 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 für 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
• 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
• Positivity-hardness results on Markov decision processesPiribauer, J. & Baier, C., 8 Apr 2024, In:  TheoretiCS : an open access journal in theoretical computer science. 3, 47 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• Towards a Formal Account on Negative LatencyDubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2023

• Feature causalityDubslaff, C., Weis, K., Baier, C. & Apel, S., 7 Dec 2023, In: Journal of Systems and Software. 209 (2024), 19 p., 111915Electronic (full-text) versionResearch output: Contribution to journal > Research article