Richard M. Murray
5 papers
· 2017–2021
· 3 conferences
· across top CS/AI conferences
Achievements
π£
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)