Steven Carr
4 papers · 2019–2023 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
Safe Reinforcement Learning via Shielding under Partial Observability
AAAI 2023
Safe Policies for Factored Partially Observable Stochastic Games
RSS 2021
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
IJCAI 2020
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
IJCAI 2019