◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Steven Carr

12 papers hereh-index 11372 citations25 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author4
  • middle author7

Across the 11 of 12 papers where every author was matched, so the position is known.

fields
  • cs.AI6
  • eess.SY2
  • math.OC2
  • cs.RO1
  • math.NA1

identity via Semantic Scholar / OpenAlex

activity
20172025
most citedFormal Methods for Autonomous Systems

7 citations · 19 across the 11 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.AI2022★ 3 cited

Safe Reinforcement Learning via Shielding under Partial Observability

Steven Carr, Nils Jansen, Sebastian Junges +1

Safe exploration is a common problem in reinforcement learning (RL) that aims to prevent agents from making disastrous decisions while exploring their environment. A family of appr…

cs.RO2022★ 4 cited

Dynamic Certification for Autonomous Systems

Georgios Bakirtzis, Steven Carr, David Danks +1

Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.