Bettina Könighofer

4 papers · 2022–2025 · 3 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 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird

Venues

IJCAI (2) AAAI (1) NeurIPS (1)

Top co-authors

Martin Tappler (2) Filip Cano Córdoba (2) Scott J. Shapiro (1) Katrine Bjørner (1) Filip Cano (1) Kaushik Mallik (1) Stefan Pranger (1) Nicholas Shoemaker (1) Timos Antonopoulos (1) Konstantin Kueffner (1)

Research topics

Artificial Intelligence (3) Core AI (3) Machine Learning (2) Reinforcement Learning (2) Mathematics & Optimization (1) Application Areas (1) Applications (1) Learning Types (1) Methods (1) Optimization (1)

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)

Papers

Fairness Shields: Safeguarding against Biased Decision Makers AAAI 2025 Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning NeurIPS 2024 Analyzing Intentional Behavior in Autonomous Agents under Uncertainty IJCAI 2023 Search-Based Testing of Reinforcement Learning IJCAI 2022