safety-critical system

ReflexDiffusion: Reflection-Enhanced Trajectory Planning for High-lateral-acceleration Scenarios in Autonomous Driving AAAI 2026 Verifying Neural Network Robustness with Dual Perturbations CVPR 2026 A Safe Exploration Approach to Constrained Markov Decision Processes AISTATS 2025 Can We Trust Embodied Agents? Exploring Backdoor Attacks against Embodied LLM-Based Decision-Making Systems ICLR 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Towards Computational Foreseeability AAAI 2025 Accurate Parameter Estimation for Safety-Critical Systems with Unmodeled Dynamics (Abstract Reprint) AAAI 2024 Active Learning for Robust and Representative LLM Generation in Safety-Critical Scenarios EMNLP 2024 Deep Learning with Requirements in the Real World IJCAI 2024 Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-Based Fault Detection and Identification (Abstract Reprint) AAAI 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems NeurIPS 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024 VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch AAAI 2024 Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements AAAI 2023 Out-of-Distribution Detection Is Not All You Need AAAI 2023 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks IJCAI 2023 Network Generalization Prediction for Safety Critical Tasks in Novel Operating Domains WACV 2022 OpenOOD: Benchmarking Generalized Out-of-Distribution Detection NeurIPS 2022 Deep Probabilistic Accelerated Evaluation: A Robust Certifiable Rare-Event Simulation Methodology for Black-Box Safety-Critical Systems AISTATS 2021 Formal verification of neural networks for safety-critical tasks in deep reinforcement learning UAI 2021 Probabilistic Robustness Quantification of Neural Networks AAAI 2021 Safety Analysis of Deep Neural Networks IJCAI 2021 Safety Assurance for Systems with Machine Learning Components AAAI 2021 Sample-Specific Output Constraints for Neural Networks AAAI 2021 Eyes-Closed Safety Kernels: Safety of Autonomous Systems Under Loss of Observability RSS 2020