Bettina K\"onighofer

Identifiers

• name variant Bettina K\"onighofer 0.60 · backfill

Papers (5)

1. Explainably Safe Reinforcement Learning cs.LG · 2026 · author #5
2. Easy-to-Use Shielding for Reinforcement Learning cs.LG · 2026 · author #2
3. Synthesis of Admissible Shields cs.LO · 2019 · author #2
4. Safe Reinforcement Learning via Shielding cs.LO · 2017 · author #4
5. Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof cs.LO · 2013 · author #3

Mentions

• 2606.04634 #5 · arxiv_oai · confidence 0.70 Bettina K\"onighofer
• 2606.03804 #2 · arxiv_oai · confidence 0.70 Bettina K\"onighofer
• 1308.4767 #3 · backfill · confidence 0.70 Bettina K\"onighofer

Frequent Coauthors

• Roderick Bloem 2 shared papers
• Stefan Pranger 2 shared papers
• Ufuk Topcu 2 shared papers
• Ashutosh Gupta 1 shared papers
• Debraj Chakraborty 1 shared papers
• Georg Hofferek 1 shared papers
• Jan K\v{r}et\'insk\'y 1 shared papers
• Jie-Hong Roland Jiang 1 shared papers
• Laura Humphrey 1 shared papers
• Mohammed Alshiekh 1 shared papers
• Robert K\"onighofer 1 shared papers
• Ruediger Ehlers 1 shared papers
• Sabine Rieder 1 shared papers
• Scott Niekum 1 shared papers