June

  • Our two papers “Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation” and “Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery” have been accepted at IROS 2021 🤖.

 May

  • Proud to share that my first main author paper “Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning” has been accepted at UAI 2021 😍.

  • Our paper “Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning” has been accepted at ICLR 2021.