Christel Baier
7 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
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)