Steven Carr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Pessimistic Iterative Planning with RNNs for Robust POMDPs. | Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simo, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen |
| 2023 | AAAI | Safe Reinforcement Learning via Shielding under Partial Observability. | Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu |
| 2022 | SIGCSE | Design and Use of a Visualization for Teaching Integer Coercion. | Steven Carr, Yu Chin Cheng, Yu-Hsiang Hu, Jean Mayo, Ahmed Radwan, Ching-Kuang Shene, James W. Walker |
| 2021 | IROS | Decentralized Classification with Assume-Guarantee Planning. | Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu |
| 2021 | ITiCSE | A Visualization for Teaching Integer Coercion. | James W. Walker, Steven Carr, Ahmed Radwan, Yu-Hsiang Hu, Yu Chin Cheng, Jean Mayo, Ching-Kuang Shene |
| 2020 | IJCAI | Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. | Steven Carr, Nils Jansen, Ufuk Topcu |
| 2019 | IJCAI | Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. | Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu |
| 2019 | ITiCSE | Teaching Integer Security Using Simple Visualizations. | James W. Walker, Man Wang, Steven Carr, Jean Mayo, Ching-Kuang Shene |