Cover Image

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bukhari, Syed Ali Asadullah, Flinkow, Thomas, Inkarbekov, Medet, Pearlmutter, Barak A., Monahan, Rosemary
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Computer Vision and Pattern Recognition Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Comparing differentiable logics for learning with logical constraints
by: Flinkow, Thomas, et al.
Published: (2024)

Visualization of AI Systems in Virtual Reality: A Comprehensive Review
by: Inkarbekov, Medet, et al.
Published: (2023)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

A General Framework for Property-Driven Machine Learning
by: Flinkow, Thomas, et al.
Published: (2025)

VerifyThis 2019: A Program Verification Competition (Extended Report)
by: Dross, Claire, et al.
Published: (2020)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
by: Hossain, Md Shahi Amran, et al.
Published: (2025)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
by: Gruteser, Jan, et al.
Published: (2024)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

A Formally Verified Lightning Network
by: Fabiański, Grzegorz, et al.
Published: (2025)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
by: Farrell, Marie, et al.
Published: (2021)

Network Inversion and Its Applications
by: Suhail, Pirzada, et al.
Published: (2024)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
by: Monniaux, David
Published: (2024)

Concept-based Analysis of Neural Networks via Vision-Language Models
by: Mangal, Ravi, et al.
Published: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
by: Pradeep, Pavana, et al.
Published: (2026)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
by: Vandevelde, Simon, et al.
Published: (2024)

Formally Verified Animation for RoboChart using Interaction Trees
by: Ye, Kangfeng, et al.
Published: (2023)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

Verifying Global Two-Safety Properties in Neural Networks with Confidence
by: Athavale, Anagha, et al.
Published: (2024)

Bridging Simplicity and Sophistication using GLinear: A Novel Architecture for Enhanced Time Series Prediction
by: Rizvi, Syed Tahir Hussain, et al.
Published: (2025)

Formally Verified Approximate Policy Iteration
by: Schäffeler, Maximilian, et al.
Published: (2024)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
by: Dvorak, Martin, et al.
Published: (2025)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
by: Kohlen, Bram, et al.
Published: (2025)

Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)

Verifying Quantized Graph Neural Networks is PSPACE-complete
by: Sälzer, Marco, et al.
Published: (2025)

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
by: Alsmann, Eric, et al.
Published: (2026)

A Formally Verified Procedure for Width Inference in FIRRTL
by: Wang, Keyin, et al.
Published: (2026)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
by: Gregersen, Simon Oddershede, et al.
Published: (2025)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
by: Bryce, Aaron, et al.
Published: (2026)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
by: Huang, Jiani, et al.
Published: (2023)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
by: Elboher, Yizhak, et al.
Published: (2024)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
by: Bryant, Randal E., et al.
Published: (2025)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
by: Coglio, Alessandro, et al.
Published: (2025)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
by: Govindankutty, Arun, et al.
Published: (2026)

The Repeated-Stimulus Confound in Electroencephalography
by: Kilgallen, Jack A., et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
by: Dvorak, Martin
Published: (2026)

Formalizing Representation Theorems for a Logical Framework with Rewriting
by: Traversié, Thomas, et al.
Published: (2025)

A DPLL(T) Framework for Verifying Deep Neural Networks
by: Duong, Hai, et al.
Published: (2023)