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 Steven Carr

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints


Feb 13, 2020
Steven Carr, Nils Jansen, Ufuk Topcu

* 8 pages, 5 figures, 1 table 

  Access Paper or Ask Questions

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks


Mar 21, 2019
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru C. Serban, Bernd Becker, Ufuk Topcu


  Access Paper or Ask Questions

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes


Feb 27, 2018
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu


  Access Paper or Ask Questions

Quantifying homologous proteins and proteoforms


Aug 05, 2017
Dmitry Malioutov, Tianchi Chen, Jacob Jaffe, Edoardo Airoldi, Steven Carr, Bogdan Budnik, Nikolai Slavov

* Molecular & Cellular Proteomics, 2018 

  Access Paper or Ask Questions