Publikationen

2024

• 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures.Baier, C., Piribauer, J. & Starke, M., 29 Aug. 2024, 35th International Conference on Concurrency Theory (CONCUR 2024) . Majumdar, R. & Silva, A. (Hrsg.).S. 9:1-9:20, 20 S., 9Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Demonic Variance and a Non-Determinism Score for Markov Decision Processes.Piribauer, J., 23 Aug. 2024, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) . Kralovic, R. & Kucera, A. (Hrsg.).S. 79:1-79:15, 15 S., 79Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Beyond Boundaries: A Human-like Approach for Question Answering over Structured and Unstructured Information SourcesLehmann, J., Bhandiwad, D., Gattogi, P. & Vahdati, S., 11 Juni 2024, in: Transactions of the Association for Computational Linguistics. 12, S. 786-802, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Linear dynamical systems with continuous weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 Mai 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, S. 22:1-22:11, 11 S., 22Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Positivity-hardness results on Markov decision processes.Piribauer, J. & Baier, C., 8 April 2024, in:  TheoretiCS : an open access journal in theoretical computer science. 3, 47 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Backward Responsibility in Transition Systems Using General Power IndicesBaier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Lazy model checking for recursive state machinesDubslaff, C., Wienhöft, P. & Fehnker, A., 20 März 2024, in: Software and systems modeling. 23, 2, S. 369-401, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 4:1–4:66, 66 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Cham: Springer Nature Switzerland, S. 1-18, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband