52 citations · 217 across the 36 of their papers we have counts for
45 papers
Counterfactual Causality for Reachability and Safety based on Distance Functions
Julie Parreaux, Jakob Piribauer, Christel Baier
Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to expla…
Counterfactual Causality for Reachability and Safety based on Distance Functions
Julie Parreaux, Jakob Piribauer, Christel Baier
Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to expla…
Entropic Risk for Turn-Based Stochastic Games
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer +1
Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an exponential re-weighting of rewards. We study ERisk for the first time in the context of tur…
A Unifying Formal Approach to Importance Values in Boolean Functions
Hans Harder, Simon Jantsch, Christel Baier +1
Boolean functions and their representation through logics, circuits, machine learning classifiers, or binary decision diagrams (BDDs) play a central role in the design and analysis…
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão +3
In an offline reinforcement learning setting, the safe policy improvement (SPI) problem aims to improve the performance of a behavior policy according to which sample data has been…
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
Christel Baier, Clemens Dubslaff, Patrick Wienhöft +1
A central task in control theory, artificial intelligence, and formal methods is to synthesize reward-maximizing strategies for agents that operate in partially unknown environment…