Safety Verification of Model Based Reinforcement Learning Controllers

21 October 2020

Papers citing "Safety Verification of Model Based Reinforcement Learning Controllers"

5 / 5 papers shown

Title
Digital Twin-Enabled Real-Time Control in Robotic Additive Manufacturing via Soft Actor-Critic Reinforcement Learning Matsive Ali Sandesh Giri Sen Liu Qin Yang AI4CE 34 0 0 29 Jan 2025
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 290 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 70 308 0 22 May 2012