Copertina

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wooding, Ben, Zhang, Hongchao, Johnson, Taylor T., Lavaei, Abolfazl
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control Artificial Intelligence Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
di: Wooding, Ben, et al.
Pubblicazione: (2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
di: Wooding, Ben, et al.
Pubblicazione: (2024)

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

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

Neural Proofs for Sound Verification and Control of Complex Systems
di: Abate, Alessandro
Pubblicazione: (2025)

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

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

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

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
di: Schön, Oliver, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
di: Johnson, Blair, et al.
Pubblicazione: (2025)

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

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
di: Wooding, Ben, et al.
Pubblicazione: (2024)

Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)

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

TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
di: Gardner, Jamie, et al.
Pubblicazione: (2025)

ARCH-COMP25 Category Report: Stochastic Models
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

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

Temporal Inductive Logic Reasoning over Hypergraphs
di: Yang, Yuan, et al.
Pubblicazione: (2022)

Inductive Generalization in Reinforcement Learning from Specifications
di: Subramanian, Vignesh, et al.
Pubblicazione: (2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
di: König, Matthias, et al.
Pubblicazione: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
di: Aljaafari, Nura, et al.
Pubblicazione: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
di: Gilda, Sankalp, et al.
Pubblicazione: (2026)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
di: Meli, Daniele, et al.
Pubblicazione: (2024)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
di: Sharifi, Iman, et al.
Pubblicazione: (2026)

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

Closure Certificates
di: Murali, Vishnu, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
di: Lewis, Marco, et al.
Pubblicazione: (2024)

Quantitative Supermartingale Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2025)