Alert button
Picture for Steven Carr

Steven Carr

Alert button

Formal Methods for Autonomous Systems

Nov 02, 2023
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu

Viaarxiv icon

Fine-Tuning Language Models Using Formal Methods Feedback

Oct 27, 2023
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu

Viaarxiv icon

Safe Reinforcement Learning via Shielding for POMDPs

Apr 02, 2022
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

Figure 1 for Safe Reinforcement Learning via Shielding for POMDPs
Figure 2 for Safe Reinforcement Learning via Shielding for POMDPs
Figure 3 for Safe Reinforcement Learning via Shielding for POMDPs
Figure 4 for Safe Reinforcement Learning via Shielding for POMDPs
Viaarxiv icon

Dynamic Certification for Autonomous Systems

Mar 21, 2022
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu

Figure 1 for Dynamic Certification for Autonomous Systems
Figure 2 for Dynamic Certification for Autonomous Systems
Figure 3 for Dynamic Certification for Autonomous Systems
Viaarxiv icon

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

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

Figure 1 for Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Figure 2 for Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Figure 3 for Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Figure 4 for Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Viaarxiv icon

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

Figure 1 for Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
Figure 2 for Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
Figure 3 for Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
Figure 4 for Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
Viaarxiv icon

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

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

Figure 1 for Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
Figure 2 for Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
Figure 3 for Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
Figure 4 for Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
Viaarxiv icon

Quantifying homologous proteins and proteoforms

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

Figure 1 for Quantifying homologous proteins and proteoforms
Figure 2 for Quantifying homologous proteins and proteoforms
Figure 3 for Quantifying homologous proteins and proteoforms
Figure 4 for Quantifying homologous proteins and proteoforms
Viaarxiv icon