Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

20 March 2019

Ufuk Topcu

Papers citing "Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks"

4 / 4 papers shown

Title
Strengthening Deterministic Policies for POMDPs Leonore Winterer Ralf Wimmer N. Jansen Bernd Becker 14 4 0 16 Jul 2020
Enforcing Almost-Sure Reachability in POMDPs Sebastian Junges N. Jansen S. Seshia 19 26 0 30 Jun 2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning E. Bacci David Parker 11 27 0 14 May 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017