Verifiable Reinforcement Learning via Policy Extraction

Verifiable Reinforcement Learning via Policy Extraction

22 May 2018

Armando Solar-Lezama

Papers citing "Verifiable Reinforcement Learning via Policy Extraction"

17 / 167 papers shown

Title
Imitation-Projected Programmatic Reinforcement Learning A. Verma Hoang Minh Le Yisong Yue Swarat Chaudhuri 24 2 0 11 Jul 2019
Hybrid system identification using switching density networks Michael G. Burke Yordan V. Hristov S. Ramamoorthy 17 12 0 09 Jul 2019
MoËT: Mixture of Expert Trees and its Application to Verifiable Reinforcement Learning Marko Vasic Andrija Petrović Kaiyuan Wang Mladen Nikolic Rishabh Singh S. Khurshid OffRL MoE 22 23 0 16 Jun 2019
Robustness Verification of Tree-based Models Hongge Chen Huan Zhang Si Si Yang Li Duane S. Boning Cho-Jui Hsieh AAML 22 76 0 10 Jun 2019
Proposed Guidelines for the Responsible Use of Explainable Machine Learning Patrick Hall Navdeep Gill N. Schmidt SILM XAI FaML 11 28 0 08 Jun 2019
Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding Osbert Bastani 14 9 0 25 May 2019
Adversarial Policies: Attacking Deep Reinforcement Learning Adam Gleave Michael Dennis Cody Wild Neel Kant Sergey Levine Stuart J. Russell AAML 27 349 0 25 May 2019
Not All Features Are Equal: Feature Leveling Deep Neural Networks for Better Interpretation Yingjing Lu Runde Yang MILM 16 2 0 24 May 2019
Formal Verification of Input-Output Mappings of Tree Ensembles John Törnblom Simin Nadjm-Tehrani 8 35 0 10 May 2019
From explanation to synthesis: Compositional program induction for learning from demonstration Michael G. Burke Svetlin Penkov S. Ramamoorthy 25 20 0 27 Feb 2019
Learning Interpretable Models with Causal Guarantees Carolyn Kim Osbert Bastani FaML OOD CML 22 17 0 24 Jan 2019
Learning Neurosymbolic Generative Models via Program Synthesis Halley Young Osbert Bastani Mayur Naik NAI 14 31 0 24 Jan 2019
Scalable agent alignment via reward modeling: a research direction Jan Leike David M. Krueger Tom Everitt Miljan Martic Vishal Maini Shane Legg 34 397 0 19 Nov 2018
Towards Mixed Optimization for Reinforcement Learning with Program Synthesis Surya Bhupatiraju Kumar Krishna Agrawal Rishabh Singh 6 6 0 01 Jul 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 78 308 0 22 May 2012