Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. - Jakob Piribauer; Christel Baier (FoSSaCS, 2019)

Long-run Satisfaction of Path Properties. - Christel Baier; Nathalie Bertrand 001; Jakob Piribauer; Ocan Sankur (LICS, 2019)

On Skolem-Hardness and Saturation Points in Markov Decision Processes. - Jakob Piribauer; Christel Baier (ICALP, 2020)

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. - Jakob Piribauer; Christel Baier; Nathalie Bertrand 001; Ocan Sankur (CONCUR, 2021)

From Verification to Causality-Based Explications (Invited Talk). - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (ICALP, 2021)

From Verification to Causality-based Explications. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (CoRR, 2021)

Witnessing Subsystems for Probabilistic Systems with Low Tree Width. - Simon Jantsch; Jakob Piribauer; Christel Baier (GandALF, 2021)

Operational Causality - Necessarily Sufficient and Sufficiently Necessary. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Jakob Piribauer; Robin Ziemek (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

On probability-raising causality in Markov decision processes. - Christel Baier; Florian Funke 002; Jakob Piribauer; Robin Ziemek (FoSSaCS, 2022)

The Variance-Penalized Stochastic Shortest Path Problem. - Jakob Piribauer; Ocan Sankur; Christel Baier (ICALP, 2022)

Probabilistic causes in Markov chains. - Robin Ziemek; Jakob Piribauer; Florian Funke 002; Simon Jantsch; Christel Baier (Innov. Syst. Softw. Eng., 2022)

Counterfactual Causality for Reachability and Safety based on Distance Functions. - Julie Parreaux; Jakob Piribauer; Christel Baier (GandALF, 2023)

Backward Responsibility in Transition Systems Using General Power Indices. - Christel Baier; Roxane van den Bossche; Sascha Klüppelholz; Johannes Lehmann 001; Jakob Piribauer (AAAI, 2024)

Model Checking Markov Chains as Distribution Transformers. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala (Principles of Verification (2), 2024)

Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. - Christel Baier; Jakob Piribauer; Maximilian Starke (CONCUR, 2024)

A Spectrum of Approximate Probabilistic Bisimulations. - Timm Spork; Christel Baier; Joost-Pieter Katoen; Jakob Piribauer; Tim Quatmann (CONCUR, 2024)

Linear dynamical systems with continuous weight functions. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer (HSCC, 2024)

Demonic Variance and a Non-Determinism Score for Markov Decision Processes. - Jakob Piribauer (MFCS, 2024)

Entropic risk for turn-based stochastic games. - Christel Baier; Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer (Inf. Comput., 2024)

Foundations of probability-raising causality in Markov decision processes. - Christel Baier; Jakob Piribauer; Robin Ziemek (Log. Methods Comput. Sci., 2024)

Positivity-hardness results on Markov decision processes. - Jakob Piribauer; Christel Baier (TheoretiCS, 2024)

Formal Quality Measures for Predictors in Markov Decision Processes. - Christel Baier; Sascha Klüppelholz; Jakob Piribauer; Robin Ziemek (AAAI, 2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. - Timm Spork; Christel Baier; Joost-Pieter Katoen; Sascha Klüppelholz; Jakob Piribauer (CAV (2), 2025)

Model Checking Linear Temporal Logic with Standpoint Modalities. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork (CoRR, 2025)

Multiplicative Rewards in Markovian Models. - Christel Baier; Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer (CoRR, 2025)