Richard M. Murray
5 papers · 2017–2021 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Cross-Pollinator (10)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(18)
π
Conference Pioneer
π
Trend Setter
Conferences
AAAI (3)
CORL (1)
IJCAI (1)
Top co-authors
Research topics
Keywords
symbolic abstraction
(2)
convex optimization
(1)
constraint solving
(1)
abstraction refinement
(1)
formal verification
(1)
markov decision process
(1)
gaussian process
(1)
continuous control
(1)
machine learning
(1)
safe reinforcement learning
(1)
neural network verification
(1)
policy synthesis
(1)
nonlinear programming
(1)
control barrier function
(1)
nonlinear constraint
(1)
conditional value at risk
(1)
coherent risk measure
(1)
environment modeling
(1)
pre-image computation
(1)
formal analysis
(1)
Papers
Constrained Risk-Averse Markov Decision Processes
AAAI 2021
Counter-example Guided Learning of Bounds on Environment Behavior
CORL 2019
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
AAAI 2019
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
AAAI 2019
Learning-Based Abstractions for Nonlinear Constraint Solving
IJCAI 2017