Jakob Piribauer

According to our database, Jakob Piribauer authored at least 16 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Foundations of probability-raising causality in Markov decision processes.

Christel Baier, Jakob Piribauer, Robin Ziemek

Log. Methods Comput. Sci., 2024

Backward Responsibility in Transition Systems Using General Power Indices.

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Counterfactual Causality for Reachability and Safety based on Distance Functions.

Julie Parreaux, Jakob Piribauer, Christel Baier

Proceedings of the Fourteenth International Symposium on Games, 2023

Positivity-hardness results on Markov decision processes.

Jakob Piribauer, Christel Baier

CoRR, 2023

Entropic Risk for Turn-Based Stochastic Games.

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Probabilistic causes in Markov chains.

Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier

Innov. Syst. Softw. Eng., 2022

The Variance-Penalized Stochastic Shortest Path Problem.

Jakob Piribauer, Ocan Sankur, Christel Baier

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

On probability-raising causality in Markov decision processes.

Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Operational Causality - Necessarily Sufficient and Sufficiently Necessary.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Witnessing Subsystems for Probabilistic Systems with Low Tree Width.

Simon Jantsch, Jakob Piribauer, Christel Baier

Proceedings of the Proceedings 12th International Symposium on Games, 2021

From Verification to Causality-based Explications.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

CoRR, 2021

From Verification to Causality-Based Explications (Invited Talk).

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking.

Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

On Skolem-Hardness and Saturation Points in Markov Decision Processes.

Jakob Piribauer, Christel Baier

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Long-run Satisfaction of Path Properties.

Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.

Jakob Piribauer, Christel Baier

Proceedings of the Foundations of Software Science and Computation Structures, 2019