Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions

28 July 2022

Papers citing "Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions"

24 / 24 papers shown

Title
Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions Matthew Kim William Sharpless Hyun Joe Jeong S. Tonkens Somil Bansal Sylvia Herbert 67 0 0 16 May 2025
SEAL: Towards Safe Autonomous Driving via Skill-Enabled Adversary Learning for Closed-Loop Scenario Generation Benjamin Stoler Ingrid Navarro Jonathan M Francis Jean Oh AAML 76 4 0 16 Sep 2024
Learning Safe Neural Network Controllers with Barrier Certificates Hengjun Zhao Xia Zeng Taolue Chen Zhiming Liu Jim Woodcock 82 42 0 18 Sep 2020
Neural Certificates for Safe Control Policies Wanxin Jin Zhaoran Wang Zhuoran Yang Shaoshuai Mou 52 83 0 15 Jun 2020
Deep Drone Acrobatics Elia Kaufmann Antonio Loquercio René Ranftl Matthias Muller V. Koltun Davide Scaramuzza 58 150 0 10 Jun 2020
Learning Control Barrier Functions from Expert Demonstrations Alexander Robey Haimin Hu Lars Lindemann Hanwen Zhang Dimos V. Dimarogonas Stephen Tu Nikolai Matni 77 207 0 07 Apr 2020
Learning Agile Robotic Locomotion Skills by Imitating Animals Xue Bin Peng Erwin Coumans Tingnan Zhang T. Lee Jie Tan Sergey Levine 115 503 0 02 Apr 2020
POPQORN: Quantifying Robustness of Recurrent Neural Networks Ching-Yun Ko Zhaoyang Lyu Tsui-Wei Weng Luca Daniel Ngai Wong Dahua Lin AAML 36 76 0 17 May 2019
Control Regularization for Reduced Variance Reinforcement Learning Richard Cheng Abhinav Verma G. Orosz Swarat Chaudhuri Yisong Yue J. W. Burdick OffRL 64 80 0 14 May 2019
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks Richard Cheng G. Orosz R. Murray J. W. Burdick 62 617 0 21 Mar 2019
PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach Tsui-Wei Weng Pin-Yu Chen Lam M. Nguyen M. Squillante Ivan Oseledets Luca Daniel AAML 48 30 0 18 Dec 2018
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 122 138 0 29 Nov 2018
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 83 436 0 02 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 87 756 0 02 Nov 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 54 402 0 19 Sep 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 89 691 0 25 Apr 2018
Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach Tsui-Wei Weng Huan Zhang Pin-Yu Chen Jinfeng Yi D. Su Yupeng Gao Cho-Jui Hsieh Luca Daniel AAML 76 467 0 31 Jan 2018
Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actor Tuomas Haarnoja Aurick Zhou Pieter Abbeel Sergey Levine 279 8,313 0 04 Jan 2018
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 88 1,498 0 02 Nov 2017
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation Matthias Hein Maksym Andriushchenko AAML 81 511 0 23 May 2017
FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning Sylvia Herbert Mo Chen Soojean Han Somil Bansal J. F. Fisac Claire Tomlin 51 237 0 21 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 299 1,860 0 03 Feb 2017
A Survey of Motion Planning and Control Techniques for Self-driving Urban Vehicles B. Paden Michal Cap Sze Zheng Yong Dmitry S. Yershov Emilio Frazzoli 53 2,020 0 25 Apr 2016
Simulated Car Racing Championship: Competition Software Manual Daniele Loiacono L. Cardamone P. Lanzi 71 109 0 05 Apr 2013