Christel Baier
Technische Universität Dresden
H-index: 55
Europe-Germany
Top articles of Christel Baier
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Feature causality | Journal of Systems and Software | Clemens Dubslaff Kallistos Weis Christel Baier Sven Apel | 2024/3/1 |
Foundations of probability-raising causality in Markov decision processes | Logical Methods in Computer Science | Christel Baier Jakob Piribauer Robin Ziemek | 2024/1/19 |
Positivity-hardness results on Markov decision processes | TheoretiCS | Jakob Piribauer Christel Baier | 2024/4/8 |
Backward Responsibility in Transition Systems Using General Power Indices | Proceedings of the AAAI Conference on Artificial Intelligence | Christel Baier Roxane van den Bossche Sascha Klüppelholz Johannes Lehmann Jakob Piribauer | 2024/3/24 |
A unifying formal approach to importance values in Boolean functions | arXiv preprint arXiv:2305.08103 | Hans Harder Simon Jantsch Christel Baier Clemens Dubslaff | 2023/5/14 |
Verification Column | ACM SIGLOG News | Christel Baier | 2023/7/19 |
More for less: safe policy improvement with stronger performance guarantees | arXiv preprint arXiv:2305.07958 | Patrick Wienhöft Marnix Suilen Thiago D Simão Clemens Dubslaff Christel Baier | 2023/5/13 |
Entropic Risk for Turn-Based Stochastic Games | arXiv preprint arXiv:2307.06611 | Christel Baier Krishnendu Chatterjee Tobias Meggendorfer Jakob Piribauer | 2023/7/13 |
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking | Max Korn Julián Méndez Sascha Klüppelholz Ricardo Langner Christel Baier | 2023/10/31 | |
Interaction detection in configurable systems–A formal approach featuring roles | Journal of Systems and Software | Philipp Chrszon Christel Baier Clemens Dubslaff Sascha Klüppelholz | 2023/2/1 |
Check for updates | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers | Segmentation Framework via Optimal Mass Transportation Pre-processing Jia-Wei Liao¹ Tsung-Ming Huang Tiexiang Li | 2023/7/17 |
Towards a formal account on negative latency | Clemens Dubslaff Jonas Schulz Patrick Wienhöft Christel Baier Frank HP Fitzek | 2023/10/23 | |
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata | Innovations in Systems and Software Engineering | Tobias John Simon Jantsch Christel Baier Sascha Klüppelholz | 2023/6 |
Markov chains and unambiguous automata | Journal of Computer and System Sciences | Christel Baier Stefan Kiefer Joachim Klein David Müller James Worrell | 2023/9/1 |
Strategy synthesis in markov decision processes under limited sampling access | Christel Baier Clemens Dubslaff Patrick Wienhöft Stefan J Kiebel | 2023/5/16 | |
Counterfactual Causality for Reachability and Safety based on Distance Functions | arXiv preprint arXiv:2308.11385 | Julie Parreaux Jakob Piribauer Christel Baier | 2023/8/22 |
Causality in configurable software systems | Clemens Dubslaff Kallistos Weis Christel Baier Sven Apel | 2022/5/21 | |
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications | Christel Baier Florian Funke Simon Jantsch Toghrul Karimov Engel Lefaucheux | 2022/9/12 | |
The variance-penalized stochastic shortest path problem | arXiv preprint arXiv:2204.12280 | Jakob Piribauer Ocan Sankur Christel Baier | 2022/4/21 |
Operational Causality–Necessarily Sufficient and Sufficiently Necessary | Christel Baier Clemens Dubslaff Florian Funke Simon Jantsch Jakob Piribauer | 2022/9/7 |