On the public citation graph

Algorithms for Verifying Deep Neural Networks

https://doi.org/10.1561/2400000035
0 signed · 324 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781394302406.ch04openalex-snapshot
Toward Assured Autonomy Using Neurosymbolic Components and Systems
inferred← citeshttps://doi.org/10.1002/stvr.1879openalex-snapshot
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
inferred← citeshttps://doi.org/10.1002/sys.21703openalex-snapshot
The National Airworthiness Council artificial intelligence working group (NACAIWG) summit proceedings 2022
inferred← citeshttps://doi.org/10.1007/978-3-030-17953-3_3openalex-snapshot
Strong Mixed-Integer Programming Formulations for Trained Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-26250-1_27openalex-snapshot
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_5openalex-snapshot
Systematic Generation of Diverse Benchmarks for DNN Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-55754-6_4openalex-snapshot
PaRoT: A Practical Framework for Robust Deep Neural Network Training
inferred← citeshttps://doi.org/10.1007/978-3-030-55754-6_5openalex-snapshot
Simplifying Neural Networks Using Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-65474-0_13openalex-snapshot
Probabilistic Lipschitz Analysis of Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-66723-8_26openalex-snapshot
Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_13openalex-snapshot
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_6openalex-snapshot
DNNV: A Framework for Deep Neural Network Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-88806-0_10openalex-snapshot
Verifying Low-Dimensional Input Neural Networks via Input Quantization
inferred← citeshttps://doi.org/10.1007/978-3-030-95561-8_7openalex-snapshot
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-01233-4_1openalex-snapshot
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_15openalex-snapshot
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_16openalex-snapshot
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
inferred← citeshttps://doi.org/10.1007/978-3-031-15077-7_5openalex-snapshot
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-15839-1_14openalex-snapshot
On Neural Network Equivalence Checking Using SMT Solvers
inferred← citeshttps://doi.org/10.1007/978-3-031-15839-1_15openalex-snapshot
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_11openalex-snapshot
Neural Network Verification Using Residual Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-031-21222-2_3openalex-snapshot
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_26openalex-snapshot
The Octatope Abstract Domain for Verification of Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-29056-5_35openalex-snapshot
Big Data Management for Machine Learning from Big Data
inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_10openalex-snapshot
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-31414-8_2openalex-snapshot
Logic-Based Explainability in Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-33170-1_4openalex-snapshot
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq
inferred← citeshttps://doi.org/10.1007/978-3-031-35257-7_15openalex-snapshot
Safety Verification for Neural Networks Based on Set-Boundary Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-37703-7_19openalex-snapshot
NNV 2.0: The Neural Network Verification Tool
inferred← citeshttps://doi.org/10.1007/978-3-031-43264-4_16openalex-snapshot
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-43345-0_3openalex-snapshot
A Computability Perspective on (Verified) Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_23openalex-snapshot
Boosting Multi-neuron Convex Relaxation for Neural Network Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-45329-8_18openalex-snapshot
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-46002-9_20openalex-snapshot
Benchmark: Formal Verification of Semantic Segmentation Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-46002-9_21openalex-snapshot
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers
inferred← citeshttps://doi.org/10.1007/978-3-031-46002-9_4openalex-snapshot
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-50524-9_2openalex-snapshot
Abstract Interpretation-Based Feature Importance for Support Vector Machines
inferred← citeshttps://doi.org/10.1007/978-3-031-56255-6_10openalex-snapshot
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_1openalex-snapshot
Provable Preimage Under-Approximation for Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_2openalex-snapshot
Training for Verification: Increasing Neuron Stability to Scale DNN Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-60599-4_14openalex-snapshot
Optimization over Trained Neural Networks: Taking a Relaxing Walk
inferred← citeshttps://doi.org/10.1007/978-3-031-60924-4_23openalex-snapshot
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-63800-8_18openalex-snapshot
Explainable Fraud Detection with Deep Symbolic Classification
inferred← citeshttps://doi.org/10.1007/978-3-031-73741-1_27openalex-snapshot
The Reachability Problem for Neural-Network Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_15openalex-snapshot
Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
inferred← citeshttps://doi.org/10.1007/978-3-031-75778-5_3openalex-snapshot
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
inferred← citeshttps://doi.org/10.1007/978-3-031-82362-6_8openalex-snapshot
Generating Traffic-Level Adversarial Examples from Feature-Level Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-85356-2_5openalex-snapshot
A High Parallelization Method for Automated Formal Verification of Deep Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-98208-8_12openalex-snapshot
A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq
inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_14openalex-snapshot
Floating-Point Neural Networks are Provably Robust Universal Approximators
inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_17openalex-snapshot
StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_18openalex-snapshot
ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_19openalex-snapshot
NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-99991-8_10openalex-snapshot
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-032-02018-5_11openalex-snapshot
PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive Delegation
inferred← citeshttps://doi.org/10.1007/978-3-032-18415-3_1openalex-snapshot
Secure Neural Network System for Predicting Processes in the Real Estate Market
inferred← citeshttps://doi.org/10.1007/978-3-032-25809-0_13openalex-snapshot
Formal Robustness Verification of a Learnt Autonomous Driver
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_4openalex-snapshot
Mining Verdict Boundaries for Neural Network Verification
inferred← citeshttps://doi.org/10.1007/978-3-032-27242-3_35openalex-snapshot
Optimization over Trained Neural Networks: Going Large with Gradient-Based Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_13openalex-snapshot
Towards Formal Verification of Deep Neural Networks for Object Detection
inferred← citeshttps://doi.org/10.1007/978-3-032-32357-6_2openalex-snapshot
Verified Tensor Operators for Safety-Critical ML: From Specification to Reference Implementation
inferred← citeshttps://doi.org/10.1007/978-3-032-32526-6_25openalex-snapshot
Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement
inferred← citeshttps://doi.org/10.1007/978-3-032-40774-0_5openalex-snapshot
Declarative Verification of Binary Neural Networks
inferred← citeshttps://doi.org/10.1007/978-981-92-3394-6_29openalex-snapshot
Accelerating Neural Network Verification via Multi-to-One Dependency Analysis
inferred← citeshttps://doi.org/10.1007/978-981-97-1975-4_11openalex-snapshot
Construction of Rehabilitation Training Platform Based on Data Fusion and Neural Network Algorithms
inferred← citeshttps://doi.org/10.1007/978-981-99-7584-6_18openalex-snapshot
Eager to Stop: Efficient Falsification of Deep Neural Networks
inferred← citeshttps://doi.org/10.1007/s00165-021-00543-6openalex-snapshot
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
inferred← citeshttps://doi.org/10.1007/s00366-025-02114-2openalex-snapshot
Feed-forward neural networks as a mixed-integer program
inferred← citeshttps://doi.org/10.1007/s10009-023-00703-4openalex-snapshot
First three years of the international verification of neural networks competition (VNN-COMP)
inferred← citeshttps://doi.org/10.1007/s10107-020-01474-5openalex-snapshot
Strong mixed-integer programming formulations for trained neural networks
inferred← citeshttps://doi.org/10.1007/s10107-025-02261-wopenalex-snapshot
Verification of first-order methods for parametric quadratic optimization
inferred← citeshttps://doi.org/10.1007/s10107-026-02363-zopenalex-snapshot
Tightening convex relaxations of trained neural networks
inferred← citeshttps://doi.org/10.1007/s10115-024-02108-4openalex-snapshot
Robustness verification of k-nearest neighbors by abstract interpretation
inferred← citeshttps://doi.org/10.1007/s10270-023-01138-wopenalex-snapshot
On applying residual reasoning within neural network verification
inferred← citeshttps://doi.org/10.1007/s10458-026-09748-6openalex-snapshot
$$\varepsilon $$-retraining reinforcement learning algorithms
inferred← citeshttps://doi.org/10.1007/s10462-024-10824-0openalex-snapshot
A survey of safety and trustworthiness of large language models through the lens of verification and validation
inferred← citeshttps://doi.org/10.1007/s10618-025-01180-wopenalex-snapshot
Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation
inferred← citeshttps://doi.org/10.1007/s10703-021-00363-7openalex-snapshot
Reluplex: a calculus for reasoning about deep neural networks
inferred← citeshttps://doi.org/10.1007/s10994-021-05973-0openalex-snapshot
Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
inferred← citeshttps://doi.org/10.1007/s10994-021-06050-2openalex-snapshot
Global optimization of objective functions represented by ReLU networks
inferred← citeshttps://doi.org/10.1007/s10994-021-06065-9openalex-snapshot
Generating probabilistic safety guarantees for neural network controllers
inferred← citeshttps://doi.org/10.1007/s10994-024-06666-0openalex-snapshot
Verification on out-of-distribution detectors under natural perturbations
inferred← citeshttps://doi.org/10.1007/s12555-026-00030-9openalex-snapshot
Bumpless Switching Control for Vehicle Semi-Active Suspension Systems with Adaptive Observer Based on T-S Fuzzy Approach
inferred← citeshttps://doi.org/10.1007/s12652-024-04874-zopenalex-snapshot
Deep neural networks in low energy algorithms for wireless sensor networks
inferred← citeshttps://doi.org/10.1007/s13347-023-00642-7openalex-snapshot
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning
inferred← citeshttps://doi.org/10.1007/s40042-023-00959-8openalex-snapshot
Machine learning algorithm for localization of nuclear materials based on gamma probe data to verify the denuclearization
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2024.100948openalex-snapshot
Learning safe control for multi-robot systems: Methods, verification, and open challenges
inferred← citeshttps://doi.org/10.1016/j.array.2026.101148openalex-snapshot
Research on the application of node importance-driven input domain partitioning methods in neural network error analysis
inferred← citeshttps://doi.org/10.1016/j.automatica.2023.111487openalex-snapshot
Chordal sparsity for SDP-based neural network verification
inferred← citeshttps://doi.org/10.1016/j.bspc.2024.106179openalex-snapshot
A review on machine learning in flexible surgical and interventional robots: Where we are and where we are going
inferred← citeshttps://doi.org/10.1016/j.ces.2024.120165openalex-snapshot
A ReLU-based linearization approach for maximizing oil production in subsea platforms: An application to flow splitting
inferred← citeshttps://doi.org/10.1016/j.coastaleng.2024.104503openalex-snapshot
A novel hybrid machine learning model for rapid assessment of wave and storm surge responses over an extended coastal region
inferred← citeshttps://doi.org/10.1016/j.disopt.2023.100795openalex-snapshot
Principled deep neural network training through linear programming
inferred← citeshttps://doi.org/10.1016/j.ecmx.2024.100772openalex-snapshot
Artificial intelligence-based forecasting models for integrated energy system management planning: An exploration of the prospects for South Africa
inferred← citeshttps://doi.org/10.1016/j.egyr.2025.08.046openalex-snapshot
Applications of explainable artificial intelligence in renewable energy research
inferred← citeshttps://doi.org/10.1016/j.eswa.2023.120824openalex-snapshot
RTA-IR: A runtime assurance framework for behavior planning based on imitation learning and responsibility-sensitive safety model
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.1249openalex-snapshot
Reachability Analysis of Neural Networks with Uncertain Parameters
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.237openalex-snapshot
Safety Monitoring and Alert for Neural Network-Enabled Control Systems*
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.227openalex-snapshot
Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2025.12.354openalex-snapshot
Robust Tracking Control with Neural Network Dynamic Models under Input Perturbations
inferred← citeshttps://doi.org/10.1016/j.jai.2023.10.002openalex-snapshot
A comprehensive survey of robust deep learning in computer vision
inferred← citeshttps://doi.org/10.1016/j.nahs.2025.101581openalex-snapshot
Reachability analysis of recurrent neural networks
inferred← citeshttps://doi.org/10.1016/j.neucom.2023.126995openalex-snapshot
Neuron importance based verification of neural networks via divide and conquer
inferred← citeshttps://doi.org/10.1016/j.neucom.2024.127936openalex-snapshot
Efficient verification of neural networks based on neuron branching and LP abstraction
inferred← citeshttps://doi.org/10.1016/j.neucom.2026.132791openalex-snapshot
EqBaB: Efficient equivalence verification for compressed DNNs with bound propagation
inferred← citeshttps://doi.org/10.1016/j.neunet.2022.07.023openalex-snapshot
Physics guided neural networks for modelling of non-linear dynamics
inferred← citeshttps://doi.org/10.1016/j.neunet.2023.06.002openalex-snapshot
Towards global neural network abstractions with locally-exact reconstruction
inferred← citeshttps://doi.org/10.1016/j.procs.2024.09.028openalex-snapshot
Oral Voice Recognition System Based on Deep Neural Network Posteriori Probability Algorithm
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103121openalex-snapshot
Verifying safety of neural networks from topological perspectives
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103269openalex-snapshot
Generalizing neural network verification to the family of piece-wise linear activation functions
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103280openalex-snapshot
Comparing differentiable logics for learning with logical constraints
inferred← citeshttps://doi.org/10.1016/j.slast.2025.100277openalex-snapshot
Application effect of rehabilitation robots in rehabilitation of limb movement disorders based on neural network algorithms
inferred← citeshttps://doi.org/10.1016/j.sysarc.2022.102505openalex-snapshot
DRL-GAT-SA: Deep reinforcement learning for autonomous driving planning based on graph attention networks and simplex architecture
inferred← citeshttps://doi.org/10.1016/j.trc.2026.105674openalex-snapshot
A provable safety metric for autonomous driving via deep reinforcement learning and PAC verification
inferred← citeshttps://doi.org/10.1017/cbp.2023.2openalex-snapshot
How to ensure safety of learning-enabled cyber-physical systems?
inferred← citeshttps://doi.org/10.1017/cbp.2023.5.pr1openalex-snapshot
Author comment: Provable Observation Noise Robustness for Neural Network Control Systems — R0/PR1
inferred← citeshttps://doi.org/10.1017/cbp.2023.5.pr2openalex-snapshot
Review: Provable Observation Noise Robustness for Neural Network Control Systems — R0/PR2
inferred← citeshttps://doi.org/10.1017/cbp.2023.5.pr3openalex-snapshot
Review: Provable Observation Noise Robustness for Neural Network Control Systems — R0/PR3
inferred← citeshttps://doi.org/10.1017/cbp.2023.5.pr4openalex-snapshot
Recommendation: Provable Observation Noise Robustness for Neural Network Control Systems — R0/PR4
inferred← citeshttps://doi.org/10.1017/cbp.2023.5.pr5openalex-snapshot
Author comment: Provable Observation Noise Robustness for Neural Network Control Systems — R1/PR5
inferred← citeshttps://doi.org/10.1017/cbp.2023.5.pr6openalex-snapshot
Decision: Provable Observation Noise Robustness for Neural Network Control Systems — R1/PR6
inferred← citeshttps://doi.org/10.1017/s0956792525000099openalex-snapshot
NLP verification: towards a general methodology for certifying robustness
inferred← citeshttps://doi.org/10.1049/mia2.12220openalex-snapshot
Highly Nonlinear and Wide-Band mmWave Active Array OTA Linearization Using Neural Network
inferred← citeshttps://doi.org/10.1051/smdo/2025008openalex-snapshot
AI algorithms in visual communication design: enhancing design creativity and efficiency
inferred← citeshttps://doi.org/10.1080/08874417.2025.2492887openalex-snapshot
AI-Driven Health Insurance Cross-Sell Prediction Using Data Analytics
inferred← citeshttps://doi.org/10.1093/bib/bbaf383openalex-snapshot
Formal verification of bioinformatics software using model checking and theorem proving
inferred← citeshttps://doi.org/10.1109/access.2021.3108451openalex-snapshot
Out-of-Distribution Detection for Deep Neural Networks With Isolation Forest and Local Outlier Factor
inferred← citeshttps://doi.org/10.1109/access.2022.3213319openalex-snapshot
Signed Network Node Embedding via Dual Attention Mechanism
inferred← citeshttps://doi.org/10.1109/access.2023.3242648openalex-snapshot
Bandwidth-Scalable Digital Predistortion of Active Phased Array Using Transfer Learning Neural Network
inferred← citeshttps://doi.org/10.1109/apsec65559.2024.00044openalex-snapshot
Sound Floating-Point Neural Network Verification with MILP
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678590openalex-snapshot
Distribution Models for Falsification and Verification of DNNs
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00115openalex-snapshot
Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00175openalex-snapshot
Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing
inferred← citeshttps://doi.org/10.1109/cdc45484.2021.9683375openalex-snapshot
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach
inferred← citeshttps://doi.org/10.1109/cdc51059.2022.9992923openalex-snapshot
Guaranteed safe control of systems with parametric uncertainties via neural network controllers
inferred← citeshttps://doi.org/10.1109/cdc56724.2024.10885790openalex-snapshot
Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
inferred← citeshttps://doi.org/10.1109/cvprf71909.2026.00070openalex-snapshot
A Robust Out-of-Distribution Detection Framework via Synergistic Smoothing
inferred← citeshttps://doi.org/10.1109/dasc43569.2019.9081635openalex-snapshot
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks
inferred← citeshttps://doi.org/10.1109/dasc43569.2019.9081748openalex-snapshot
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems
inferred← citeshttps://doi.org/10.1109/dasc50938.2020.9256446openalex-snapshot
Runtime Safety Assurance Using Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/dasc52595.2021.9594360openalex-snapshot
Verification of Image-based Neural Network Controllers Using Generative Models
inferred← citeshttps://doi.org/10.1109/dasc58513.2023.10311201openalex-snapshot
Formal and Practical Elements for the Certification of Machine Learning Systems
inferred← citeshttps://doi.org/10.1109/i-coste63786.2024.11025117openalex-snapshot
A Novel Approach to Verification of Neural Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/icassp49357.2023.10096520openalex-snapshot
Police: Provably Optimal Linear Constraint Enforcement For Deep Neural Networks
inferred← citeshttps://doi.org/10.1109/iccps68698.2026.00031openalex-snapshot
Certified geometric robustness - Super-Deepg
inferred← citeshttps://doi.org/10.1109/icct56141.2022.10072684openalex-snapshot
A Multi Access VPDN Network Model
inferred← citeshttps://doi.org/10.1109/icdcs51616.2021.00077openalex-snapshot
Privacy-Preserving Neural Network Inference Framework via Homomorphic Encryption and SGX
inferred← citeshttps://doi.org/10.1109/icdl55364.2023.10364473openalex-snapshot
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis
inferred← citeshttps://doi.org/10.1109/icdm58522.2023.00020openalex-snapshot
Robustness Certification of k-Nearest Neighbors
inferred← citeshttps://doi.org/10.1109/icdsis61070.2024.10594352openalex-snapshot
Design and Application of Intelligent Work Stress Assessment System Based on Machine Learning
inferred← citeshttps://doi.org/10.1109/icercs57948.2023.10434013openalex-snapshot
The Use of Recurrent Neural Networks in the Optimization of Computer Science Algorithms
inferred← citeshttps://doi.org/10.1109/icirdc65564.2024.00022openalex-snapshot
Operation Decision and Optimization System of Network Enterprise based on Digital Intelligence Algorithm
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9561956openalex-snapshot
Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components
inferred← citeshttps://doi.org/10.1109/icra48891.2023.10161312openalex-snapshot
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
inferred← citeshttps://doi.org/10.1109/icra55743.2025.11127579openalex-snapshot
Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10610418openalex-snapshot
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00036openalex-snapshot
Reducing DNN Properties to Enable Falsification with Adversarial Attacks
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10989014openalex-snapshot
On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant Clustering
inferred← citeshttps://doi.org/10.1109/ictis60134.2023.10243939openalex-snapshot
Design and implementation of ship obstacle avoidance system based on channel simulation
inferred← citeshttps://doi.org/10.1109/ijcnn52387.2021.9533410openalex-snapshot
Non-divergent Imitation for Verification of Complex Learned Controllers
inferred← citeshttps://doi.org/10.1109/ijcnn52387.2021.9534410openalex-snapshot
Attack-Guided Efficient Robustness Verification of ReLU Neural Networks
inferred← citeshttps://doi.org/10.1109/ijcnn55064.2022.9892390openalex-snapshot
A Methodology for Understanding the Origins of False Negatives in DNN Based Object Detectors
inferred← citeshttps://doi.org/10.1109/infocom42981.2021.9488898openalex-snapshot
Analyzing Learning-Based Networked Systems with Formal Verification
inferred← citeshttps://doi.org/10.1109/infocomwkshps65812.2025.11152991openalex-snapshot
A Technical Framework For Formally Verifying AI Models Supporting 6G Network Functions
inferred← citeshttps://doi.org/10.1109/iros45743.2020.9341315openalex-snapshot
Safety Considerations in Deep Control Policies with Safety Barrier Certificates Under Uncertainty
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9635925openalex-snapshot
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9636175openalex-snapshot
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9636847openalex-snapshot
Minimizing Safety Interference for Safe and Comfortable Automated Driving with Distributional Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/iros51168.2021.9636862openalex-snapshot
PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving
inferred← citeshttps://doi.org/10.1109/iros55552.2023.10341789openalex-snapshot
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
inferred← citeshttps://doi.org/10.1109/issre52982.2021.00044openalex-snapshot
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00017openalex-snapshot
Verifiable Obstacle Detection
inferred← citeshttps://doi.org/10.1109/issrew55968.2022.00088openalex-snapshot
Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise
inferred← citeshttps://doi.org/10.1109/itsc45102.2020.9294442openalex-snapshot
Interpretable Policies from Formally-Specified Temporal Properties
inferred← citeshttps://doi.org/10.1109/itsc45102.2020.9294549openalex-snapshot
Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing
inferred← citeshttps://doi.org/10.1109/itsc60802.2025.11423547openalex-snapshot
Towards Safer End-to-End Urban Driving: A World Model-Based Approach with Enhanced Safety
inferred← citeshttps://doi.org/10.1109/lcsys.2022.3181123openalex-snapshot
Provably Safe Tolerance Estimation for Robot Arms via Sum-of-Squares Programming
inferred← citeshttps://doi.org/10.1109/lcsys.2022.3182547openalex-snapshot
Reachability Analysis of Neural Networks Using Mixed Monotonicity
inferred← citeshttps://doi.org/10.1109/lcsys.2023.3341980openalex-snapshot
Forward Invariance in Neural Network Controlled Systems
inferred← citeshttps://doi.org/10.1109/lcsys.2026.3707155openalex-snapshot
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
inferred← citeshttps://doi.org/10.1109/lra.2023.3340525openalex-snapshot
Safe Networked Robotics With Probabilistic Verification
inferred← citeshttps://doi.org/10.1109/lra.2025.3596431openalex-snapshot
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
inferred← citeshttps://doi.org/10.1109/mcs.2025.3611545openalex-snapshot
Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems
inferred← citeshttps://doi.org/10.1109/mdat.2020.3015712openalex-snapshot
Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems
inferred← citeshttps://doi.org/10.1109/memocode51338.2020.9315118openalex-snapshot
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/pdgc56933.2022.10053196openalex-snapshot
Deep Learning Algorithms for Detecting Alzheimer’s Disease using WBSN
inferred← citeshttps://doi.org/10.1109/qrs-c55045.2021.00164openalex-snapshot
Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00081openalex-snapshot
Towards Repairing Neural Networks Correctly
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00083openalex-snapshot
Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00068openalex-snapshot
An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics
inferred← citeshttps://doi.org/10.1109/qrs62785.2024.00047openalex-snapshot
Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization
inferred← citeshttps://doi.org/10.1109/satml54575.2023.00043openalex-snapshot
CARE: Certifiably Robust Learning with Reasoning via Variational Inference
inferred← citeshttps://doi.org/10.1109/scm62608.2024.10554245openalex-snapshot
Treatment of Abdominal Wall Abscess using a Recurrent Neural Network with Controlled Elements
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179303openalex-snapshot
SoK: Certified Robustness for Deep Neural Networks
inferred← citeshttps://doi.org/10.1109/spw50608.2020.00047openalex-snapshot
Case Study: Safety Verification of an Unmanned Underwater Vehicle
inferred← citeshttps://doi.org/10.1109/tac.2024.3420968openalex-snapshot
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
inferred← citeshttps://doi.org/10.1109/tac.2026.3662563openalex-snapshot
Approximate Predictive Control Barrier Function for Discrete-Time Systems
inferred← citeshttps://doi.org/10.1109/tcad.2022.3197534openalex-snapshot
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement
inferred← citeshttps://doi.org/10.1109/tdsc.2022.3179131openalex-snapshot
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
inferred← citeshttps://doi.org/10.1109/tnnls.2021.3130904openalex-snapshot
AMITE: A Novel Polynomial Expansion for Analyzing Neural Network Nonlinearities
showing the first 200 of 324 · page through all 324
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.