Learning Density Distribution of Reachable States for Autonomous Systems

Learning Density Distribution of Reachable States for Autonomous Systems

14 September 2021

Md Tawhid Bin Waez

Chuchu Fan

Papers citing "Learning Density Distribution of Reachable States for Autonomous Systems"

15 / 15 papers shown

Title
Predicting AI Agent Behavior through Approximation of the Perron-Frobenius Operator Shiqi Zhang D. Gadginmath Fabio Pasqualetti 37 0 0 04 Jun 2024
Transport of Algebraic Structure to Latent Embeddings Samuel Pfrommer Brendon G. Anderson Somayeh Sojoudi 21 0 0 27 May 2024
Automated Repair of AI Code with Large Language Models and Formal Verification Yiannis Charalambous Edoardo Manino Lucas C. Cordeiro 25 2 0 14 May 2024
NeuroCodeBench: a plain C neural network benchmark for software verification Edoardo Manino R. Menezes F. Shmarov Lucas C. Cordeiro 8 1 0 07 Sep 2023
A Diversity Analysis of Safety Metrics Comparing Vehicle Performance in the Lead-Vehicle Interaction Regime Harnarayan Singh Bowen Weng Sughosh J. Rao Devin H. Elsasser 12 3 0 26 Jun 2023
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results Mark Niklas Muller Christopher Brix Stanley Bak Changliu Liu Taylor T. Johnson NAI 10 43 0 20 Dec 2022
Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems Craig Knuth Glen Chou Jamie Reese Joseph L. Moore 11 5 0 13 Dec 2022
Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability Laura Lutzow Yue Meng Andres S. Chavez Armijos Chuchu Fan 11 4 0 05 Oct 2022
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning Yue Meng Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 20 5 0 16 Sep 2022
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation Manish Goyal Miheer Dewaskar Parasara Sridhar Duggirala 20 2 0 08 Jul 2022
Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics Amr Alanwar Muhammad Umar B. Niazi Karl H. Johansson 14 4 0 08 Nov 2021
Fourier Neural Operator for Parametric Partial Differential Equations Zong-Yi Li Nikola B. Kovachki Kamyar Azizzadenesheli Burigede Liu K. Bhattacharya Andrew M. Stuart Anima Anandkumar AI4CE 203 2,254 0 18 Oct 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 65 19 0 02 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 289 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017