Jakob Piribauer

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 36

Top Topics

Transition Systems

Markov Decision Process

Top Venues

Publications

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices. CoRR (2024)
Jakob Piribauer
Demonic Variance and a Non-Determinism Score for Markov Decision Processes. MFCS (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions. HSCC (2024)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CONCUR (2024)
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices. AAAI (2024)
Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-averse optimization of total rewards in Markovian models using deviation measures. CoRR (2024)
Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. CONCUR (2024)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic risk for turn-based stochastic games. Inf. Comput. 301 (2024)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CoRR (2024)
Jakob Piribauer
Demonic variance and a non-determinism score for Markov decision processes. CoRR (2024)
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20 (1) (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers. CoRR (2024)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF (2023)
Jakob Piribauer, Christel Baier
Positivity-hardness results on Markov decision processes. CoRR (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. CoRR (2023)
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic Risk for Turn-Based Stochastic Games. MFCS (2023)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR (2023)
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes. FoSSaCS (2022)
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18 (3) (2022)
Jakob Piribauer, Ocan Sankur, Christel Baier
The variance-penalized stochastic shortest path problem. CoRR (2022)
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes. CoRR (2022)
Jakob Piribauer, Ocan Sankur, Christel Baier
The Variance-Penalized Stochastic Shortest Path Problem. ICALP (2022)
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes. CoRR (2022)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic causes in Markov chains. CoRR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-based Explications. CoRR (2021)
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF (2021)
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing subsystems for probabilistic systems with low tree width. CoRR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications (Invited Talk). ICALP (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains. ATVA (2021)
Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. CONCUR (2021)
Jakob Piribauer, Christel Baier
On Skolem-Hardness and Saturation Points in Markov Decision Processes. ICALP (2020)
Jakob Piribauer, Christel Baier
On Skolem-hardness and saturation points in Markov decision processes. CoRR (2020)
Jakob Piribauer, Christel Baier
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. CoRR (2019)
Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
Long-run Satisfaction of Path Properties. LICS (2019)
Jakob Piribauer, Christel Baier
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. FoSSaCS (2019)