Verifying Controllers Against Adversarial Examples with Bayesian Optimization

23 February 2018

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

8 / 8 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 20 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 8 6 0 16 Apr 2022
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 65 0 26 Jul 2021
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh S. Seshia 21 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 14 44 0 06 Mar 2019