Christel Baier
7 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (12) 🏃 Academic Marathon (5)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(16)
🏆
Keyword Champion
(3)
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
shapley value
(3)
responsibility attribution
(3)
cooperative game theory
(2)
causal inference
(2)
game theory
(1)
sample complexity
(1)
policy learning
(1)
formal methods
(1)
formal verification
(1)
markov decision process
(1)
conditional independence
(1)
graphical model
(1)
boolean function
(1)
temporal logic
(1)
model checking
(1)
dynamic bayesian network
(1)
banzhaf value
(1)
transition system
(1)
probabilistic guarantee
(1)
safe policy improvement
(1)
Papers
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
AAAI 2026
Formal Quality Measures for Predictors in Markov Decision Processes
AAAI 2025
Backward Responsibility in Transition Systems Using General Power Indices
AAAI 2024
More for Less: Safe Policy Improvement with Stronger Performance Guarantees
IJCAI 2023
A Unifying Formal Approach to Importance Values in Boolean Functions
IJCAI 2023
A Game-Theoretic Account of Responsibility Allocation
IJCAI 2021
Responsibility Attribution in Parameterized Markovian Models
AAAI 2021