Steven Carr

2 papers in the IJCAI proceedings

IJCAI 2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

with Nils Jansen, Ufuk Topcu

doi:10.24963/ijcai.2020/570

Details PDF

IJCAI 2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

with Nils Jansen, Ralf Wimmer, Alexandru Serban, Bernd Becker, Ufuk Topcu

doi:10.24963/ijcai.2019/768

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings