Formal Verification of Unknown Dynamical Systems via Gaussian Process
Regression

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression

31 December 2021

Morteza Lahijanian

Papers citing "Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression"

18 / 18 papers shown

Title
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Andrea Peruffo M. Mazo 48 13 0 10 Mar 2022
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning Yixuan Wang S. Zhan Zhilu Wang Chao Huang Zhaoran Wang Zhuoran Yang Qi Zhu 40 22 0 28 Jan 2022
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise Heinke Hihn Alessandro Abate Nils Jansen David Parker Hasan A. Poonawala Marielle Stoelinga 45 27 0 25 Oct 2021
Data-Driven Reachability Analysis from Noisy Data Amr Alanwar Anne Koch Frank Allgöwer Karl H. Johansson 54 56 0 15 May 2021
Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability Sylvia Herbert Jason J. Choi Suvansh Qazi Marsalis T. Gibson Koushil Sreenath Claire Tomlin 51 37 0 15 Jan 2021
Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants Craig Knuth Glen Chou N. Ozay Dmitry Berenson 46 33 0 18 Oct 2020
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes Pushpak Jagtap George J. Pappas Majid Zamani 46 88 0 12 Oct 2020
On Information Gain and Regret Bounds in Gaussian Process Bandits Sattar Vakili Kia Khezeli Victor Picheny GP 52 133 0 15 Sep 2020
Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods Eyke Hüllermeier Willem Waegeman PER UD 222 1,411 0 21 Oct 2019
Safe Approximate Dynamic Programming Via Kernelized Lipschitz Estimation Ankush Chakrabarty Devesh K. Jha G. Buzzard Yebin Wang K. Vamvoudakis 35 26 0 03 Jul 2019
Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control Armin Lederer Jonas Umlauft Sandra Hirche 49 154 0 04 Jun 2019
Adversarial Robustness Guarantees for Classification with Gaussian Processes Arno Blaas A. Patané Luca Laurenti L. Cardelli Marta Z. Kwiatkowska Stephen J. Roberts GP AAML 35 21 0 28 May 2019
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 67 101 0 03 Oct 2018
Provably Robust Learning-Based Approach for High-Accuracy Tracking Control of Lagrangian Systems M. Helwa Adam Heins Angela P. Schoellig 39 51 0 03 Apr 2018
On the Sample Complexity of the Linear Quadratic Regulator Sarah Dean Horia Mania Nikolai Matni Benjamin Recht Stephen Tu 65 575 0 04 Oct 2017
Safe Model-based Reinforcement Learning with Stability Guarantees Felix Berkenkamp M. Turchetta Angela P. Schoellig Andreas Krause 176 851 0 23 May 2017
On Kernelized Multi-armed Bandits Sayak Ray Chowdhury Aditya Gopalan 111 460 0 03 Apr 2017
Gaussian Process Optimization in the Bandit Setting: No Regret and Experimental Design Niranjan Srinivas Andreas Krause Sham Kakade Matthias Seeger 146 1,619 0 21 Dec 2009