Kernel-based learning of safety barriers

DOI10.1613/JAIR.1.21679MaRDI QIDQ7307212zbMATH OpenFDO

Authors Zhengang Zhong, Sadegh Soudjani

Publication date 31 July 2026

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1613/JAIR.1.21679

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05)

Cites work

• -complete decision procedures for satisfiability over the reals
• A barrier function approach to finite-time stochastic system verification and control
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• A Hilbert Space Embedding for Distributions
• A kernel two-sample test
• A rigorous theory of conditional mean embeddings
• Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
• Analysis on Fock spaces and mathematical theory of quantum fields. An introduction to mathematical analysis of quantum fields
• Automated verification and synthesis of stochastic hybrid systems: a survey
• BARON: A general purpose global optimization software package
• Bayesian formal synthesis of unknown systems via robust simulation relations
• Bounding Multivariate Trigonometric Polynomials
• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
• Data-driven abstraction-based control synthesis
• Data-driven models of monotone systems
• Data-driven verification and synthesis of stochastic systems via barrier certificates
• Deterministic global optimization with Gaussian processes embedded
• Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
• dReal: an SMT solver for nonlinear theories over the reals
• Formal methods for discrete-time dynamical systems
• Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• FOSSIL
• Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
• Global optimization with polynomials and the problem of moments
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 5055767 (Why is no real title available?)
• Measure theory. Vol. I and II
• Non-convex scenario optimization
• Recent advances in nonconvex semi-infinite programming: applications and algorithms
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Safety verification of deep neural networks
• Sampling algebraic varieties for sum of squares programs
• Semidefinite programming relaxations for semialgebraic problems
• Smoothed analysis of algorithms
• Solving Natural Conic Formulations with Hypatia.jl
• SOSTOOLS and Its Control Applications
• Stochastic stability and control
• Support Vector Machines

This page was built for publication: Kernel-based learning of safety barriers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7307212)