Bettina Könighofer
4 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(11)
🗺️
Taxonomy Completionist
(14)
🐣
Hot Topic Early Bird
Conferences
IJCAI (2)
AAAI (1)
NIPS (1)
Top co-authors
Keywords
deep reinforcement learning
(2)
policy testing
(2)
algorithmic fairness
(1)
formal verification
(1)
markov decision process
(1)
importance sampling
(1)
optimal control
(1)
autonomous agent
(1)
counterfactual reasoning
(1)
importance-driven testing
(1)
safety verification
(1)
state importance
(1)
biased decision
(1)
fairness criterion
(1)
fuzz testing
(1)
biased decision maker
(1)
fairness shield
(1)
intervention cost
(1)
search-based testing
(1)
boundary state
(1)