Steven Carr
4 papers
· 2019–2023
· 3 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(13)
πΊοΈ
Taxonomy Completionist
(12)
π£
Hot Topic Early Bird
Conferences
IJCAI (2)
AAAI (1)
RSS (1)
Top co-authors
Keywords
recurrent neural network
(2)
partially observable markov decision process
(2)
formal verification
(2)
partial observability
(1)
safe reinforcement learning
(1)
temporal logic
(1)
policy extraction
(1)
deep rl
(1)
partially observable mdp
(1)
strategy synthesis
(1)
counterexample-guided training
(1)
temporal logic specification
(1)
finite-state controller
(1)
temporal logic constraint
(1)
safe exploration
(1)
safety specification
(1)
adversarial planning
(1)
factored representation
(1)
uav path planning
(1)
markov decision process
(1)