Steven Carr

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Dynamic Certification for Autonomous Systems.
Commun. ACM, September, 2023

Formal Methods for Autonomous Systems.
Found. Trends Syst. Control., 2023

Fine-Tuning Language Models Using Formal Methods Feedback.
CoRR, 2023

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems <sup>*</sup>.
Proceedings of the IEEE Conference on Control Technology and Applications, 2023

Safe Reinforcement Learning via Shielding under Partial Observability.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.
IEEE Trans. Autom. Control., 2022

Safe Reinforcement Learning via Shielding for POMDPs.
CoRR, 2022

2021
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.
IEEE Trans. Control. Netw. Syst., 2021

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.
J. Artif. Intell. Res., 2021

Safe Policies for Factored Partially Observable Stochastic Games.
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Decentralized Classification with Assume-Guarantee Planning.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Brain Intracranial Hemorrhage Segmentation using Unsupervised Learning on Volume CT Images.
Proceedings of the 50th IEEE Applied Imagery Pattern Recognition Workshop, 2021

2020
Control-Oriented Learning on the Fly.
IEEE Trans. Autom. Control., 2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.
Proceedings of the 2020 American Control Conference, 2020

2019
Traffic Management for Urban Air Mobility.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Myopic Control of Systems with Unknown Dynamics.
Proceedings of the 2019 American Control Conference, 2019

2018
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
Proceedings of the 2018 Annual American Control Conference, 2018


  Loading...