Jakob Piribauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. | Rajab Aghamov, Christel Baier, Jol Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard |
| 2026 | FOSSACS | The Modal Logic of Abstraction Refinement. | Jakob Piribauer, Vinzent Zschuppe |
| 2025 | AAAI | Formal Quality Measures for Predictors in Markov Decision Processes. | Christel Baier, Sascha Klppelholz, Jakob Piribauer, Robin Ziemek |
| 2025 | CAV | Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klppelholz, Jakob Piribauer |
| 2025 | KR | Model Checking Linear Temporal Logic with Standpoint Modalities. | Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | LICS | Multiplicative Rewards in Markovian Models. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2024 | AAAI | Backward Responsibility in Transition Systems Using General Power Indices. | Christel Baier, Roxane van den Bossche, Sascha Klppelholz, Johannes Lehmann, Jakob Piribauer |
| 2024 | CONCUR | Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. | Christel Baier, Jakob Piribauer, Maximilian Starke |
| 2024 | CONCUR | A Spectrum of Approximate Probabilistic Bisimulations. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann |
| 2024 | MFCS | Demonic Variance and a Non-Determinism Score for Markov Decision Processes. | Jakob Piribauer |
| 2023 | MFCS | Entropic Risk for Turn-Based Stochastic Games. | Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2022 | FOSSACS | On probability-raising causality in Markov decision processes. | Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek |
| 2022 | ICALP | The Variance-Penalized Stochastic Shortest Path Problem. | Jakob Piribauer, Ocan Sankur, Christel Baier |
| 2021 | ATVA | Probabilistic Causes in Markov Chains. | Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
| 2021 | CONCUR | Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. | Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |
| 2020 | ICALP | On Skolem-Hardness and Saturation Points in Markov Decision Processes. | Jakob Piribauer, Christel Baier |
| 2019 | FOSSACS | Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. | Jakob Piribauer, Christel Baier |
| 2019 | LICS | Long-run Satisfaction of Path Properties. | Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur |