Richard M. Murray
5 papers · 2017–2021 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge · Bronze 🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (18) 🧭 Keyword Pioneer
📈
Trend Setter
🚀
Conference Pioneer
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Machine Learning
(4)
Reinforcement Learning
(2)
Application Areas
(2)
Learning Types
(2)
Optimization & Theory · Machine Learning
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Applications
(1)
Methods
(1)
Optimization
(1)
Optimization & Theory · Deep Learning
(1)
Reasoning
(1)
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