Follow
Jakob Piribauer
Jakob Piribauer
Leipzig University, Technical University Dresden
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
From verification to causality-based explications
C Baier, C Dubslaff, F Funke, S Jantsch, R Majumdar, J Piribauer, ...
arXiv preprint arXiv:2105.09533, 2021
502021
On Skolem-hardness and saturation points in Markov decision processes
J Piribauer, C Baier
arXiv preprint arXiv:2004.11441, 2020
172020
Partial and conditional expectations in Markov decision processes with integer weights
J Piribauer, C Baier
International Conference on Foundations of Software Science and Computation …, 2019
92019
On probability-raising causality in Markov decision processes.
C Baier, F Funke, J Piribauer, R Ziemek
FoSSaCS, 40-60, 2022
82022
Probabilistic causes in Markov chains
C Baier, F Funke, S Jantsch, J Piribauer, R Ziemek
International symposium on automated technology for verification and …, 2021
82021
Probabilistic causes in Markov chains
R Ziemek, J Piribauer, F Funke, S Jantsch, C Baier
Innovations in Systems and Software Engineering 18 (3), 347-367, 2022
72022
Quantified linear temporal logic over probabilistic systems with an application to vacuity checking
J Piribauer, C Baier, N Bertrand, O Sankur
CONCUR 2021-32nd International Conference on Concurrency Theory, 1-18, 2021
62021
On non-classical stochastic shortest path problems
J Piribauer
62021
Entropic risk for turn-based stochastic games
C Baier, K Chatterjee, T Meggendorfer, J Piribauer
Information and Computation 301, 105214, 2024
52024
Backward responsibility in transition systems using general power indices
C Baier, R van den Bossche, S Klüppelholz, J Lehmann, J Piribauer
Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20320 …, 2024
52024
Operational Causality–Necessarily Sufficient and Sufficiently Necessary
C Baier, C Dubslaff, F Funke, S Jantsch, J Piribauer, R Ziemek
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
52022
The modal logic of generic multiverses
J Piribauer
M. Sc. thesis, Universiteit van Amsterdam, 2017
52017
The variance-penalized stochastic shortest path problem
J Piribauer, O Sankur, C Baier
arXiv preprint arXiv:2204.12280, 2022
42022
Long-run satisfaction of path properties
C Baier, N Bertrand, J Piribauer, O Sankur
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
42019
Counterfactual causality for reachability and safety based on distance functions
J Parreaux, J Piribauer, C Baier
arXiv preprint arXiv:2308.11385, 2023
32023
Positivity-hardness results on Markov decision processes
J Piribauer, C Baier
TheoretiCS 3, 2024
22024
Foundations of probability-raising causality in Markov decision processes
C Baier, J Piribauer, R Ziemek
Logical Methods in Computer Science 20, 2024
22024
Witnessing subsystems for probabilistic systems with low tree width
S Jantsch, J Piribauer, C Baier
arXiv preprint arXiv:2108.08070, 2021
12021
Model Checking Linear Temporal Logic with Standpoint Modalities
R Aghamov, C Baier, T Karimov, R Majumdar, J Ouaknine, J Piribauer, ...
arXiv preprint arXiv:2502.20193, 2025
2025
Formal Quality Measures for Predictors in Markov Decision Processes
C Baier, S Klüppelholz, J Piribauer, R Ziemek
arXiv preprint arXiv:2412.11754, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20