Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Bettina Könighofer

It's Time to Play Safe: Shield Synthesis for Timed Systems

Jun 30, 2020
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano

* Submitted to RV2020 

  Access Paper or Ask Questions

Shielded Decision-Making in MDPs

Jul 16, 2018
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem

  Access Paper or Ask Questions

Safe Reinforcement Learning via Shielding

Sep 03, 2017
Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu

  Access Paper or Ask Questions