Jakob Piribauer

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

Collaborative distances:

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

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

Log. Methods Comput. Sci., 2024

Entropic risk for turn-based stochastic games.

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer

Inf. Comput., 2024

Model Checking Markov Chains as Distribution Transformers.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala

CoRR, 2024

Demonic Variance and a Non-Determinism Score for Markov Decision Processes.

Jakob Piribauer

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Linear dynamical systems with continuous weight functions.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

A Spectrum of Approximate Probabilistic Bisimulations.

Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures.

Christel Baier, Jakob Piribauer, Maximilian Starke

Proceedings of the 35th International Conference on Concurrency Theory, 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

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