default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteven Carr 0002
Person information
- affiliation: University of Texas at Austin, Department of Aerospace Engineering and Engineering Mechanics, Austin, TX, USA
- affiliation (until 2014): University of Sydney, Australia
Other persons with the same name
- Steven Carr — disambiguation page
- Steve Carr 0001
![[0000-0002-8922-0805]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-8922-0805")
(aka: Steven M. Carr 0001, Steven Carr 0001) — Western Michigan University, Department of Computer Science, Kalamazoo, MI, USA (and 2 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c11]Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu:
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. MLSys 2024- [i10]Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox:
Adaptive planning for risk-aware predictive digital twins. CoRR abs/2407.20490 (2024) - [i9]Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen:
Pessimistic Iterative Planning for Robust POMDPs. CoRR abs/2408.08770 (2024) - 2023
- [j6]Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. Commun. ACM 66(9): 64-72 (2023) - [j5]Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10(3-4): 180-407 (2023) - [c10]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c9]Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu:
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *. CCTA 2023: 1115-1121 - [i8]Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu:
Fine-Tuning Language Models Using Formal Methods Feedback. CoRR abs/2310.18239 (2023) - [i7]Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
Formal Methods for Autonomous Systems. CoRR abs/2311.01258 (2023) - 2022
- [j4]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. 67(7): 3243-3258 (2022) - [i6]Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. CoRR abs/2203.10950 (2022) - [i5]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022) - 2021
- [j3]Steven Carr, Nils Jansen, Ufuk Topcu:
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. 72: 819-847 (2021) - [j2]Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu:
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. 8(2): 598-608 (2021) - [c8]Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu:
Decentralized Classification with Assume-Guarantee Planning. IROS 2021: 9826-9832 - [c7]Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu:
Safe Policies for Factored Partially Observable Stochastic Games. Robotics: Science and Systems 2021 - 2020
- [j1]Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu:
Control-Oriented Learning on the Fly. IEEE Trans. Autom. Control. 65(11): 4800-4807 (2020) - [c6]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu:
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC 2020: 1483-1488 - [c5]Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI 2020: 4121-4127 - [i4]Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR abs/2002.05615 (2020) - [i3]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR abs/2008.00164 (2020)
2010 – 2019
- 2019
- [c4]Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu:
Myopic Control of Systems with Unknown Dynamics. ACC 2019: 1064-1071 - [c3]Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI 2019: 5532-5539 - [c2]Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu:
Traffic Management for Urban Air Mobility. NFM 2019: 71-87 - [i2]Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR abs/1903.08428 (2019) - 2018
- [c1]Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC 2018: 762-769 - [i1]Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR abs/1802.09810 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
