conftrace_

safety verification

28 papers

Explore in graph

Co-occurring keywords

formal verification (284) reachability analysis (35) dynamical system (398) model checking (105) autonomous system (63) neural network verification (106) reinforcement learning (4352) bayesian neural network (201) predicate abstraction (3) neural network controller (20)

Papers

Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026
Personalized open world plan generation for safety-critical human centered autonomous systems: A case study on Artificial Pancreas EMNLP 2025
An LLM-Empowered Adaptive Evolutionary Algorithm for Multi-Component Deep Learning Systems AAAI 2025
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning NIPS 2024
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions AAAI 2024
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions RSS 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions NIPS 2024
SMT Safety Verification of Ontology-Based Processes AAAI 2023
Exact Verification of ReLU Neural Control Barrier Functions NIPS 2023
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe L4DC 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023
Safety Verification of Decision-Tree Policies in Continuous Time NIPS 2023
Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes L4DC 2023
Safety Verification and Universal Invariants for Relational Action Bases IJCAI 2023
Neural Abstractions NIPS 2022
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems JMLR 2022
Infinite Time Horizon Safety of Bayesian Neural Networks NIPS 2021
Learning Density Distribution of Reachable States for Autonomous Systems CORL 2021
Verifying Reinforcement Learning up to Infinity IJCAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021
Reactive motion planning with probabilisticsafety guarantees CORL 2020