Christel Baier

2
papers
4
total citations

papers (2)

Backward Responsibility in Transition Systems Using General Power Indices

AAAI 2024arXiv
4
citations

Formal Quality Measures for Predictors in Markov Decision Processes

AAAI 2025arXiv
0
citations