Publications
Journal Publications
Positivity-hardness results on Markov decision processes
Jakob Piribauer, Christel Baier.
TheoretiCS, accepted for publication, to appear.
[preprint]
Foundations of probability raising causality in Markov decision processes
Christel Baier, Jakob Piribauer, Robin Ziemek.
Logical Methods in Computer Science, accepted for publication, to appear.
[preprint]
Conference Publications
Linear dynamical systems with continuous weight functions
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Accepted for publication at HSCC 2024, to appear.
Backward Responsibility in Transition Systems Using General Power Indices
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes
Lehmann, Jakob Piribauer
Accepted for publication at AAAI 2024, to appear.
[extended version]
Invited Publications and Festschrift Publications
Theses
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
I served as a PC member for ATVA 2023.
Further, I was an external reviewer for the following conferences:
LICS, CAV, TACAS, CONCUR, STACS, MFCS, VMCAI, 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