2 papers
cs.RO2019
Synthesis of Provably Correct Autonomy Protocols for Shared Control
Murat Cubuktepe, Nils Jansen, Mohammed Alsiekh +1
We synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol c…
cs.LO2017
Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers +3
Reinforcement learning algorithms discover policies that maximize reward, but do not necessarily guarantee safety during learning or execution phases. We introduce a new approach t…