Christel Baier
7 papers · 2021–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(16)
🏆
Keyword Champion
(3)
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI
(5)
Machine Learning
(4)
Mathematics & Optimization
(4)
Optimization & Theory
(4)
Bayesian & Probabilistic · Artificial Intelligence
(3)
Optimization
(3)
Core Methods
(2)
Reinforcement Learning
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Learning Types
(1)
Methods
(1)
Probability
(1)
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)
extensive-form game
(1)
boolean function
(1)
temporal logic
(1)
model checking
(1)
dynamic bayesian network
(1)
banzhaf value
(1)
transition system
(1)
probabilistic guarantee
(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
A Unifying Formal Approach to Importance Values in Boolean Functions
IJCAI 2023
More for Less: Safe Policy Improvement with Stronger Performance Guarantees
IJCAI 2023
A Game-Theoretic Account of Responsibility Allocation
IJCAI 2021
Responsibility Attribution in Parameterized Markovian Models
AAAI 2021