Jakob Piribauer
jakob.piribauer[at]tu-dresden.de
I am a post-doc at the
Chair of Algebraic and Logical Foundations of Computer Science at TU Dresden led by Prof. Christel Baier.
My main area of research is the formal verifiaction of probabilistic systems.
Publications
2022
The variance-penalized stochastic shortest path problem
Jakob Piribauer, Ocan Sankur, and Christel Baier.
Accepted for publication at ICALP 2022.
[extended version]
Jakob Piribauer, Ocan Sankur, and Christel Baier.
Accepted for publication at ICALP 2022.
[extended version]
Probabilistic causes in Markov chains
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, and Christel Baier.
Innovations in Systems and Software Engineering, 2022.
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, and Christel Baier.
Innovations in Systems and Software Engineering, 2022.
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]
Christel Baier, Florian Funke, Jakob Piribauer, and Robin Ziemek.
FoSSaCS, 2022.
Nominated for EATCS best paper award.
[extended version]
2021
Probabilistic causes in Markov chains
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, and Robin Ziemek.
ATVA, 2021.
[extended version]
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]
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]
Simon Jantsch, Jakob Piribauer, and Christel Baier.
GandALF, 2021.
[extended version]
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.
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, and Robin Ziemek.
ICALP, 2021.
2020
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]
Jakob Piribauer and Christel Baier.
ICALP, 2020.
[extended version] [erratum regarding a pseudo-polynomial time upper bound]
2019
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]
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]
Jakob Piribauer and Christel Baier.
FoSSaCS, 2019.
[extended version]
Theses
On Non-Classical Stochastic Shortest Path Problems
PhD Thesis, Technical University of Dresden, 2021. Supervisor: Prof. Christel Baier.
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.
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.
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
April 2018 - June 2021
M. Sc. in Logic (ILLC, University of Amsterdam)
September 2015 - August 2017
September 2015 - August 2017
B. Sc. in Mathematics (University of Freiburg)
October 2012 - October 2014
October 2012 - October 2014
Academic Services
I have been an external reviewer for the following conferences:
LICS, CAV, TACAS, CONCUR, STACS, MFCS, CSL, ATVA
LICS, CAV, TACAS, CONCUR, STACS, MFCS, CSL, ATVA
Contact
I am always happy to get in touch. Just send me an email to
jakob.piribauer[at]tu-dresden.de
Visiting address:
Room 3009, Nöthnitzer Str. 46
01069 Dresden, Germany
Postal address:
Fakultät Informatik, TU Dresden
01062 Dresden, Germany
jakob.piribauer[at]tu-dresden.de
Visiting address:
Room 3009, Nöthnitzer Str. 46
01069 Dresden, Germany
Postal address:
Fakultät Informatik, TU Dresden
01062 Dresden, Germany