safety verification

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems L4DC 2026 BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems L4DC 2026 Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026 Provably Safe Stein Variational Clarity-Aware Informative Planning L4DC 2026 Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees L4DC 2026 An LLM-Empowered Adaptive Evolutionary Algorithm for Multi-Component Deep Learning Systems AAAI 2025 Personalized open world plan generation for safety-critical human centered autonomous systems: A case study on Artificial Pancreas EMNLP 2025 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 NeurIPS 2024 Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions AAAI 2024 Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning NeurIPS 2024 Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes L4DC 2023 Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023 Exact Verification of ReLU Neural Control Barrier Functions NeurIPS 2023 Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe L4DC 2023 Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023 Safety Verification and Universal Invariants for Relational Action Bases IJCAI 2023 Safety Verification of Decision-Tree Policies in Continuous Time NeurIPS 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022 Neural Abstractions NeurIPS 2022 OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems JMLR 2022 Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021 Infinite Time Horizon Safety of Bayesian Neural Networks NeurIPS 2021