technique
Satisfiability Modulo Theories (SMT)
techniqueactive
satisfiability-modulo-theories-smt--c04c158c·1 events·first seen 27d agoAliases: Satisfiability Modulo Theories (SMT)
Co-occurring entities
More like this (12)
Turing completenessformal argumentation semanticsautomated theorem provingTabular Foundation Models (TFMs)Semantic Generative Tuning (SGT)Quantifying Faithful Confidence Expression in Large Reasoning ModelsAI-assisted theorem provingA Causal Model of Theory of Mind in Conflict for Artificial IntelligenceChain-of-Thought Monitorability Evaluation SuiteSelf-Trained Verification (STV)Fixed-Point Reasoning ModelSAT-493M
Recent events (1)
k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
This paper introduces k-inductive neural barrier certificates (k-NBCs) for safety verification of partially unknown nonlinear dynamical systems. The approach relaxes strict conventional barrier conditions by allowing temporary function increases up to k-1 times, and combines neural networks with a CEGIS-SMT verification framework. To handle unknown dynamics, it leverages a data-driven representation via Willems et al.'s fundamental lemma from a single state trajectory, avoiding the need for explicit system models. The method is validated on three nonlinear case studies.