Bettina Könighofer
- Online Shielding for Reinforcement Learning
2022/12/04 by Bettina Könighofer, Julian Rudolf, Könighofer, Bettina +7 · 5 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Safety Systems Engineering in Autonomy
- Search-Based Testing of Reinforcement Learning
2022/05/07 by Martin Tappler, Filip Cano Córdoba, Tappler, Martin +5 · 4 citations
Computer Science · Economics, Econometrics and Finance · #Reinforcement Learning in Robotics #Sports Analytics and Performance #Artificial Intelligence in Games
- Safe Reinforcement Learning via Probabilistic Shields
2018/07/16 by Nils Jansen, Jansen, Nils, Bettina Könighofer +7 · 2 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Automata Learning meets Shielding
2022/12/04 by Martin Tappler, Stefan Pranger, Tappler, Martin +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Optimization and Search Problems #Reinforcement Learning in Robotics
- Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
2023/07/04 by Filip Cano Córdoba, Samuel Judson, Córdoba, Filip Cano +13 · 2 citations
Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #FOS: Computer and information sciences
- Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning
2024/11/12 by Stefan Pranger, Hana Chockler, Pranger, Stefan +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
2023/05/09 by Samuel Judson, Judson, Samuel, Matthew Elacqua +10 · 1 citation
Business, Management and Accounting · #Big Data and Business Intelligence #Computers and Society (cs.CY) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)