An Inductive Synthesis Framework for Verifiable Reinforcement Learning

An Inductive Synthesis Framework for Verifiable Reinforcement Learning

16 July 2019

Suresh Jagannathan

Papers citing "An Inductive Synthesis Framework for Verifiable Reinforcement Learning"

13 / 13 papers shown

Title
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 26 0 0 05 Jun 2024
Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search Max Liu Chan-Hung Yu Wei-Hsu Lee Cheng-Wei Hung Yen-Chun Chen Shao-Hua Sun 53 4 0 26 May 2024
MSVIPER: Improved Policy Distillation for Reinforcement-Learning-Based Robot Navigation Aaron M. Roth Jing Liang Ram D. Sriram Elham Tabassi Dinesh Manocha 19 1 0 19 Sep 2022
Programmatic Reward Design by Example Weichao Zhou Wenchao Li 18 15 0 14 Dec 2021
A Survey on AI Assurance Feras A. Batarseh Laura J. Freeman 27 65 0 15 Nov 2021
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 64 19 0 14 Sep 2021
Learning to Synthesize Programs as Interpretable and Generalizable Policies Dweep Trivedi Jesse Zhang Shao-Hua Sun Joseph J. Lim NAI 9 71 0 31 Aug 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 19 6 0 20 Apr 2021
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 27 237 0 12 Apr 2020
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 25 28 0 17 Jul 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 70 308 0 22 May 2012