Constrained Reinforcement Learning for Robotics via Scenario-Based Programming

20 June 2022

Papers citing "Constrained Reinforcement Learning for Robotics via Scenario-Based Programming"

32 / 32 papers shown

Title
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 109 7 0 17 Feb 2025
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 125 37 0 26 May 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 90 31 0 19 Mar 2022
Scenario-Assisted Deep Reinforcement Learning Raz Yerushalmi Guy Amir Achiya Elyasaf D. Harel Guy Katz Assaf Marron OffRL 50 12 0 09 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 82 26 0 06 Jan 2022
Direct Behavior Specification via Constrained Reinforcement Learning Julien Roy Roger Girgis Joshua Romoff Pierre-Luc Bacon C. Pal 54 36 0 22 Dec 2021
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation Enrico Marchesini Davide Corsi Alessandro Farinelli 63 19 0 16 Dec 2021
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery Ameya Pore Davide Corsi Enrico Marchesini Diego DallÁlba A. Casals Alessandro Farinelli Paolo Fiorini 63 42 0 06 Sep 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 65 47 0 25 May 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 43 58 0 05 Nov 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 45 33 0 07 Oct 2020
Sim-to-Real Transfer in Deep Reinforcement Learning for Robotics: a Survey Wenshuai Zhao Jorge Peña Queralta Tomi Westerlund OffRL 201 742 0 24 Sep 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 54 59 0 17 Apr 2020
Fastened CROWN: Tightened Neural Network Robustness Certificates Zhaoyang Lyu Ching-Yun Ko Zhifeng Kong Ngai Wong Dahua Lin Luca Daniel 139 67 0 02 Dec 2019
IPO: Interior-point Policy Optimization under Constraints Yongshuai Liu J. Ding Xin Liu 87 182 0 21 Oct 2019
Vision-based Navigation Using Deep Reinforcement Learning Jonáš Kulhánek Erik Derner T. D. Bruin Robert Babuška 54 58 0 08 Aug 2019
A Hitchhiker's Guide to Statistical Comparisons of Reinforcement Learning Algorithms Cédric Colas Olivier Sigaud Pierre-Yves Oudeyer 44 64 0 15 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 96 403 0 15 Mar 2019
Unity: A General Platform for Intelligent Agents Arthur Juliani Vincent-Pierre Berges Esh Vckay Andrew Cohen Jonathan Harper ... Chris Goy Yuan Gao Hunter Henry Marwan Mattar Danny Lange 85 820 0 07 Sep 2018
Reinforced Imitation: Sample Efficient Deep Reinforcement Learning for Map-less Navigation by Leveraging Prior Demonstrations Mark Pfeiffer Samarth Shukla M. Turchetta Cesar Cadena Andreas Krause Roland Siegwart Juan I. Nieto 64 159 0 18 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
Reinforcement Learning for UAV Attitude Control W. Koch R. Mancuso R. West Azer Bestavros 79 386 0 11 Apr 2018
Proximal Policy Optimization Algorithms John Schulman Filip Wolski Prafulla Dhariwal Alec Radford Oleg Klimov OffRL 541 19,265 0 20 Jul 2017
Constrained Policy Optimization Joshua Achiam David Held Aviv Tamar Pieter Abbeel 132 1,331 0 30 May 2017
Deep Reinforcement Learning framework for Autonomous Driving Ahmad El-Sallab Mohammed Abdou E. Perot S. Yogamani 92 972 0 08 Apr 2017
Virtual-to-real Deep Reinforcement Learning: Continuous Control of Mobile Robots for Mapless Navigation L. Tai Giuseppe Paolo Ming-Yuan Liu 87 712 0 01 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 321 1,875 0 03 Feb 2017
Deep Reinforcement Learning: An Overview Yuxi Li OffRL VLM 241 1,542 0 25 Jan 2017
Deep Reinforcement Learning with Successor Features for Navigation across Similar Environments Jingwei Zhang Jost Tobias Springenberg Joschka Boedecker Wolfram Burgard 74 295 0 16 Dec 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 238 944 0 21 Oct 2016
Trust Region Policy Optimization John Schulman Sergey Levine Philipp Moritz Michael I. Jordan Pieter Abbeel 279 6,796 0 19 Feb 2015
Playing Atari with Deep Reinforcement Learning Volodymyr Mnih Koray Kavukcuoglu David Silver Alex Graves Ioannis Antonoglou Daan Wierstra Martin Riedmiller 129 12,265 0 19 Dec 2013