conftrace_

safety verification

32 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (10) reachability analysis (6) dynamical system (5) model checking (3) autonomous system (3) large language model (3) barrier certificate (3) neural network verification (3) reinforcement learning (3) bayesian neural network (2)

Papers

Learning Density Distribution of Reachable States for Autonomous Systems CoRL 2021 SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 Verifying Reinforcement Learning up to Infinity IJCAI 2021 Reactive motion planning with probabilisticsafety guarantees CoRL 2020 Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract) AAAI 2020 Reachability Analysis of Deep Neural Networks with Provable Guarantees IJCAI 2018 Provably Safe Robot Navigation with Obstacle Uncertainty RSS 2017