ML Anthology

Carr, Steven

4 publications

AAAI 2023 Safe Reinforcement Learning via Shielding Under Partial Observability Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
JAIR 2021 Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes Steven Carr, Nils Jansen, Ufuk Topcu
IJCAI 2020 Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints Steven Carr, Nils Jansen, Ufuk Topcu
IJCAI 2019 Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu