Jakob Piribauer



I am a post-doctoral researcher at the Chair of Algebraic and Logical Foundations of Computer Science at TU Dresden led by Prof. Christel Baier.

From April 2024 - March 2025, I was interim professor for Theoretical Computer Science at Leipzig University. During the summer term 2023, I was interim professor for "Data Analytics & Statistics" at TU Munich, Campus Heilbronn.

My main area of research is the formal verifiaction of probabilistic systems. In particular, I work on the theoretical problems arising in weighted stochastic operational models. Furthermore, I investigate notions of causality and explainability and study ways to provide guarantees on risk-averse system behavior in the verification context.
Further research interests of mine include various topics in theoretical computer science and mathematical logic such as automata and game theory as well as modal logic.

Teaching

Summer 2025: Advanced Logics (jointly with Christel Baier) (TU Dresden)
Winter 2024/25: Automaten und Sprachen, Algorithmic Game Theory, Seminar "Selected Topics in Logic and Verification" (University of Leipzig)
Summer 2024: Verification of Probabilistic Systems, Modal Logic, Seminar "Game Theory" (University of Leipzig)
Winter 2023/24: Modal Logic (TU Dresden)
Summer 2023: Discrete probability theory (TU Munich)
Winter 2022/23: Modal Logic (TU Dresden)
Summer 2022: Advanced Logics (jointly with Christel Baier) (TU Dresden)

Publications


Journal Publications

Entropic risk for turn-based stochastic games
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer.
Information and Computation, 2024.
Positivity-hardness results on Markov decision processes
Jakob Piribauer, Christel Baier.
TheoretiCS, 2024.
Foundations of probability raising causality in Markov decision processes
Christel Baier, Jakob Piribauer, Robin Ziemek.
Logical Methods in Computer Science, 2024.
Probabilistic causes in Markov chains
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, and Christel Baier.
Innovations in Systems and Software Engineering, 2022.

Conference Publications

Multiplicative Rewards in Markovian Models
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Accepted for publication at LICS, 2025.
[extended version]
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Accepted for publication at CAV, 2025.
[extended version]
Formal Quality Measures for Predictors in Markov Decision Processes
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
AAAI, 2025.
[extended version]
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures
Christel Baier, Jakob Piribauer, Maximilian Starke
CONCUR, 2024.
[extended version]
A Spectrum of Approximate Probabilistic Bisimulations
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
CONCUR, 2024.
[extended version]
Demonic Variance and a Non-Determinism Score for Markov Decision Processes
Jakob Piribauer
MFCS, 2024.
[extended version]
Linear dynamical systems with continuous weight functions
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
HSCC, 2024.
HSCC best paper award.
[extended version]
Backward Responsibility in Transition Systems Using General Power Indices
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
AAAI, 2024.
[extended version]
Entropic Risk for Turn-Based Stochastic Games
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
MFCS, 2023.
[extended version]
Counterfactual Causality for Reachability and Safety based on Distance Functions
Julie Parreaux, Jakob Piribauer and Christel Baier
GandALF, 2023.
[extended version]
The variance-penalized stochastic shortest path problem
Jakob Piribauer, Ocan Sankur, and Christel Baier.
ICALP, 2022.
[extended version]
On probability-raising causality in Markov decision processes
Christel Baier, Florian Funke, Jakob Piribauer, and Robin Ziemek.
FoSSaCS, 2022.
Nominated for EATCS best paper award.
[extended version]
Probabilistic causes in Markov chains
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, and Robin Ziemek.
ATVA, 2021.
[extended version]
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
Jakob Piribauer, Christel Baier, Nathalie Bertrand, and Ocan Sankur.
CONCUR, 2021.
[extended version]
Witnessing subsystems for probabilistic systems with low tree width
Simon Jantsch, Jakob Piribauer, and Christel Baier.
GandALF, 2021.
[extended version]
On Skolem-Hardness and Saturation Points in Markov Decision Processes
Jakob Piribauer and Christel Baier.
ICALP, 2020.
[extended version] [erratum regarding a pseudo-polynomial time upper bound]
Long-run Satisfaction of Path Properties
Christel Baier, Nathalie Bertrand, Jakob Piribauer, and Ocan Sankur.
LICS, 2019.
[extended version] [erratum regarding a pseudo-polynomial time upper bound]
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Jakob Piribauer and Christel Baier.
FoSSaCS, 2019.
[extended version]

Invited Publications and Festschrift Publications

Model Checking Markov Chains as Distribution Transformers
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, 2024.
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 2022.
From Verification to Causality-Based Explications (Invited Talk)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, and Robin Ziemek.
ICALP, 2021.

Theses

On Non-Classical Stochastic Shortest Path Problems
PhD Thesis, Technical University of Dresden, 2021. Supervisor: Prof. Christel Baier.
The Modal Logic of Generic Multiverses
Master's Thesis, University of Amsterdam, 2017. Supervisor: Prof. Benedikt Löwe.
The Steel-Van Wesep-Theorem
Bachelor's Thesis, University of Freiburg, 2014. Supervisor: Prof. Luca Motto-Ros.

Education

PhD in Theoretical Computer Science (Technical University of Dresden)
April 2018 - June 2021
M. Sc. in Logic (ILLC, University of Amsterdam)
September 2015 - August 2017
B. Sc. in Mathematics (University of Freiburg)
October 2012 - October 2014

Academic Services

PC member
ICFEM 2025, ATVA 2024, GandALF 2024, ATVA 2023
External reviewer
Journals:
Logical Methods in Computer Science, Theoretical Computer Science
Conferences:
LICS, ICALP, CAV, TACAS, CONCUR, STACS, MFCS, ATVA, VMCAI, CSL, KI, ...
Funding agencies:
Leverhulme Trust

Contact

I am always happy to get in touch. Just send me an email to

jakob.piribauer[at]tu-dresden.de


Visiting addresses:

Nöthnitzer Str. 46, Room 3009
01069 Dresden, Germany


Postal address:

Fakultät Informatik, TU Dresden
01062 Dresden, Germany