Verifying Controllers Against Adversarial Examples with Bayesian
Optimization

Verifying Controllers Against Adversarial Examples with Bayesian Optimization

23 February 2018

Felix Berkenkamp

Papers citing "Verifying Controllers Against Adversarial Examples with Bayesian Optimization"

9 / 9 papers shown

Title
Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations Osama Maqbool J. Roßmann AI4CE 28 0 0 03 Jan 2023
Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization Zahra Shahrooei Mykel J. Kochenderfer Ali Baheri 24 6 0 28 Dec 2022
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows Apurva Badithela Josefine B. Graebener Wyatt Ubellacker Eric V. Mazumdar Aaron D. Ames R. Murray 26 3 0 19 Oct 2022
On Safety Testing, Validation, and Characterization with Scenario-Sampling: A Case Study of Legged Robots Bowen Weng Guillermo A. Castillo Wei Zhang Ayonga Hereid 10 6 0 16 Apr 2022
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees Giulia Pedrielli Tanmay Kandhait Surdeep Chotaliya Quinn Thibeault Hao Huang M. Castillo-Effen Georgios Fainekos 14 19 0 20 Oct 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 30 66 0 26 Jul 2021
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh S. Seshia 24 14 0 04 Nov 2019
Adversarial Policies: Attacking Deep Reinforcement Learning Adam Gleave Michael Dennis Cody Wild Neel Kant Sergey Levine Stuart J. Russell AAML 27 348 0 25 May 2019
A Scalable Test Suite for Continuous Dynamic Multiobjective Optimisation Shouyong Jiang Marcus Kaiser Shengxiang Yang Stefanos D. Kollias N. Krasnogor 16 44 0 06 Mar 2019