| From verification to causality-based explications C Baier, C Dubslaff, F Funke, S Jantsch, R Majumdar, J Piribauer, ... arXiv preprint arXiv:2105.09533, 2021 | 50 | 2021 |
| On Skolem-hardness and saturation points in Markov decision processes J Piribauer, C Baier arXiv preprint arXiv:2004.11441, 2020 | 17 | 2020 |
| Partial and conditional expectations in Markov decision processes with integer weights J Piribauer, C Baier International Conference on Foundations of Software Science and Computation …, 2019 | 9 | 2019 |
| On probability-raising causality in Markov decision processes. C Baier, F Funke, J Piribauer, R Ziemek FoSSaCS, 40-60, 2022 | 8 | 2022 |
| Probabilistic causes in Markov chains C Baier, F Funke, S Jantsch, J Piribauer, R Ziemek International symposium on automated technology for verification and …, 2021 | 8 | 2021 |
| Probabilistic causes in Markov chains R Ziemek, J Piribauer, F Funke, S Jantsch, C Baier Innovations in Systems and Software Engineering 18 (3), 347-367, 2022 | 7 | 2022 |
| Quantified linear temporal logic over probabilistic systems with an application to vacuity checking J Piribauer, C Baier, N Bertrand, O Sankur CONCUR 2021-32nd International Conference on Concurrency Theory, 1-18, 2021 | 6 | 2021 |
| On non-classical stochastic shortest path problems J Piribauer | 6 | 2021 |
| Entropic risk for turn-based stochastic games C Baier, K Chatterjee, T Meggendorfer, J Piribauer Information and Computation 301, 105214, 2024 | 5 | 2024 |
| Backward responsibility in transition systems using general power indices C Baier, R van den Bossche, S Klüppelholz, J Lehmann, J Piribauer Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20320 …, 2024 | 5 | 2024 |
| Operational Causality–Necessarily Sufficient and Sufficiently Necessary C Baier, C Dubslaff, F Funke, S Jantsch, J Piribauer, R Ziemek A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022 | 5 | 2022 |
| The modal logic of generic multiverses J Piribauer M. Sc. thesis, Universiteit van Amsterdam, 2017 | 5 | 2017 |
| The variance-penalized stochastic shortest path problem J Piribauer, O Sankur, C Baier arXiv preprint arXiv:2204.12280, 2022 | 4 | 2022 |
| Long-run satisfaction of path properties C Baier, N Bertrand, J Piribauer, O Sankur 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019 | 4 | 2019 |
| Counterfactual causality for reachability and safety based on distance functions J Parreaux, J Piribauer, C Baier arXiv preprint arXiv:2308.11385, 2023 | 3 | 2023 |
| Positivity-hardness results on Markov decision processes J Piribauer, C Baier TheoretiCS 3, 2024 | 2 | 2024 |
| Foundations of probability-raising causality in Markov decision processes C Baier, J Piribauer, R Ziemek Logical Methods in Computer Science 20, 2024 | 2 | 2024 |
| Witnessing subsystems for probabilistic systems with low tree width S Jantsch, J Piribauer, C Baier arXiv preprint arXiv:2108.08070, 2021 | 1 | 2021 |
| Model Checking Linear Temporal Logic with Standpoint Modalities R Aghamov, C Baier, T Karimov, R Majumdar, J Ouaknine, J Piribauer, ... arXiv preprint arXiv:2502.20193, 2025 | | 2025 |
| Formal Quality Measures for Predictors in Markov Decision Processes C Baier, S Klüppelholz, J Piribauer, R Ziemek arXiv preprint arXiv:2412.11754, 2024 | | 2024 |
Christel BaierTU DresdenVerified email at tu-dresden.de
