Publikationen von Jakob Piribauer

Artikel in Fachzeitschriften

Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes
Logical Methods in Computer Science, 20(1), 2024
Details

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic risk for turn-based stochastic games
Information and Computation, 301:105214, 2024
Details

Jakob Piribauer, Christel Baier
Positivity-hardness results on Markov decision processes
TheoretiCS, 3, 2024
Details

Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic Causes in Markov Chains
Innovations in Systems and Software Engineering, 2022
Details

Artikel in Tagungsbänden

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details

Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
Formal Quality Measures for Predictors in Markov Decision Processes
Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of Technical Tracks 25, April 2025. Public Knowledge Project
Details

Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer
Details

Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
In Ruzica Piskac, Zvonimir Rakamarić, eds., Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II, volume 15932 of Lecture Notes in Computer Science (LNCS), 56-81, July 2025. Springer
Details Download

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions
In Erika Ábrahám and Manuel Mazo Jr., eds., Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 22:1--22:11, 2024. ACM
Details

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers
In Nils Jansen and Sebastian Junges and Benjamin Lucien Kaminski and Christoph Matheja and Thomas Noll and Tim Quatmann and Mariëlle Stoelinga and Matthias Volk, eds., Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, volume 15261 of Lecture Notes in Computer Science, 293--313, 2024. Springer
Details

Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures
In Rupak Majumdar, Alexandra Silva, eds., 35th International Conference on Concurrency Theory (CONCUR 2024), volume 311 of Leibniz International Proceedings in Informatics (LIPIcs), 9:1-9:20, 2024. Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Details

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices
Proceedings of the AAAI Conference on Artificial Intelligence, 2024. AAAI Press
Details

Jakob Piribauer
Demonic Variance and a Non-Determinism Score for Markov Decision Processes
In Rastislav Královič, Antonín Kučera, eds., 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), volume 306 of Leibniz International Proceedings in Informatics (LIPIcs), 79:1--79:15, 2024. Schloss Dagstuhl
Details

Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations
In Rupak Majumdar and Alexandra Silva, eds., 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada, volume 311 of LIPIcs, 37:1--37:19, August 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games
In Jérôme Leroux and Sylvain Lombardy and David Peleg, eds., 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France, volume 272 of LIPIcs, 15:1--15:16, 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details

Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions
In Antonis Achilleos and Dario Della Monica, eds., Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023, volume 390 of EPTCS, 132--149, 2023
Details

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
In Nils Jansen and Mariëlle Stoelinga and Petra van den Bos, eds., A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560 of Lecture Notes in Computer Science, 27--45, 2022. Springer
Details

Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes
In Bouyer, Patricia and Schröder, Lutz, eds., Foundations of Software Science and Computation Structures, 40--60, 2022. Springer International Publishing
Details

Jakob Piribauer, Ocan Sankur, Christel Baier
The variance-penalized stochastic shortest path problem
Proc. of the 49rd International Colloquium on Automata, Languages and Programming (ICALP), Leibniz International Proceedings in Informatics (LIPIcs), 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications
In Bansal, Nikhil and Merelli, Emanuela and Worrell, James, eds., 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), volume 198 of Leibniz International Proceedings in Informatics (LIPIcs), 1:1--1:20, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Details

Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains
In Hou, Zhe and Ganesh, Vijay, eds., Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, 205--221, 2021. Springer International Publishing
Details

Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing Subsystems for Probabilistic Systems with Low Tree Width
In Pierre Ganty and Davide Bresolin, eds., Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), volume 346 of EPTCS, 35--51, 2021
Details

Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
In Haddad, Serge and Varacca, Daniele, eds., 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), 7:1--7:18, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Details

Jakob Piribauer, Christel Baier
On Skolem-Hardness and Saturation Points in Markov Decision Processes
In Artur Czumaj and Anuj Dawar and Emanuela Merelli, eds., Proc. of 47th International Colloquium on Automata, Languages, and Programming, (ICALP), volume 168 of Leibniz International Proceedings in Informatics (LIPIcs), 138:1--138:17, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details

Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
Long-run Satisfaction of Path Properties
Proc. of 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019. IEEE
Details

Jakob Piribauer, Christel Baier
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Proc. of 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19), volume 11425 of Lecture Notes in Computer Science, 436--452, 2019. Springer
Details