research
∙
01/26/2023
Policy Optimization with Robustness Certificates
We present a policy optimization framework in which the learned policy c...
share
research
∙
09/28/2022
Guiding Safe Exploration with Weakest Preconditions
In reinforcement learning for safety-critical settings, it is often desi...
research
∙
09/26/2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
We present Revel, a partially neural reinforcement learning (RL) framewo...
research
∙
04/22/2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
In recent years, the notion of local robustness (or robustness for short...
research
∙
04/22/2019
Optimization + Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
In recent years, the notion of local robustness (or robustness for short...
research
∙
04/11/2018