Cover Image

Neural Proofs for Sound Verification and Control of Complex Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Abate, Alessandro
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Verification of Autonomous Neural Car Control with KeYmaera X
by: Prebet, Enguerrand, et al.
Published: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
by: Zhou, Yuhao, et al.
Published: (2023)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
by: Teuber, Samuel, et al.
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

Efficient Shield Synthesis via State-Space Transformation
by: Brorholt, Asger Horn, et al.
Published: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
by: Azeem, Muqsit, et al.
Published: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

Learning Algorithms for Verification of Markov Decision Processes
by: Brázdil, Tomáš, et al.
Published: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
by: Corsi, Davide, et al.
Published: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)

The Reachability Problem for Neural-Network Control Systems
by: Schilling, Christian, et al.
Published: (2024)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

Taming Silent Failures: A Framework for Verifiable AI Reliability
by: Yang, Guan-Yan, et al.
Published: (2025)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation
by: Benjamin, Patrick, et al.
Published: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

Robust Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2026)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
by: Rao, Balaji, et al.
Published: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

Agentic System with Modal Logic for Autonomous Diagnostics
by: Sulc, Antonin, et al.
Published: (2025)

VeriFlow: Modeling Distributions for Neural Network Verification
by: Zaid, Faried Abu, et al.
Published: (2024)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
by: Alshammari, Tamara, et al.
Published: (2026)

Proof Minimization in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

Quantitative Verification with Neural Networks
by: Abate, Alessandro, et al.
Published: (2023)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
by: Sidrane, Chelsea, et al.
Published: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
by: Lourenço, Bruno F., et al.
Published: (2026)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
by: Kasaura, Kazumi, et al.
Published: (2025)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
by: Metere, Alfredo
Published: (2026)

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