Image de couverture de livre

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Schön, Oliver, Naseer, Shammakh, Wooding, Ben, Soudjani, Sadegh
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Formal Languages and Automata Theory Machine Learning Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
par: Monir, Negar, et autres
Publié: (2026)

Data-Driven Abstractions for Control Systems via Random Exploration
par: Coppola, Rudi, et autres
Publié: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2025)

sweap: Reactive Synthesis for Infinite-State Integer Problems
par: Azzopardi, Shaun, et autres
Publié: (2026)

Algorithmic analysis of systems with affine input and polynomial state
par: Clemente, Lorenzo
Publié: (2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
par: Oumer, Mohammed Adib, et autres
Publié: (2025)

Full LTL Synthesis over Infinite-state Arenas
par: Azzopardi, Shaun, et autres
Publié: (2023)

DTMC Model Checking by Path Abstraction Revisited (extended version)
par: Hartmanns, Arnd, et autres
Publié: (2025)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
par: Heck, Linus, et autres
Publié: (2025)

A Unifying Framework for Global Optimization: From Theory to Formalization
par: Serré, Gaëtan, et autres
Publié: (2025)

Safe Networked Robotics with Probabilistic Verification
par: Narasimhan, Sai Shankar, et autres
Publié: (2023)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
par: Chen, Yu-Fang, et autres
Publié: (2024)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
par: Besset, Antoine, et autres
Publié: (2025)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
par: Böhm, Corrado, et autres
Publié: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
par: Pshenitsyn, Tikhon
Publié: (2025)

A Diamond Structure in the Transducer Hierarchy
par: Kaufmann, Noah
Publié: (2021)

Parameterized Verification of Quantum Circuits (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
par: Chu, Simon, et autres
Publié: (2024)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
par: Bollig, Benedikt
Publié: (2026)

MightyPPL: Verification of MITL with Past and Pnueli Modalities
par: Ho, Hsi-Ming, et autres
Publié: (2025)

Recomposition: A New Technique for Efficient Compositional Verification
par: Dardik, Ian, et autres
Publié: (2024)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Achilleos, Antonis, et autres
Publié: (2024)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
par: Neider, Daniel, et autres
Publié: (2025)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
par: Tsai, Wei-Lun, et autres
Publié: (2026)

Counting Abstraction for the Verification of Structured Parameterized Networks
par: Bozga, Marius, et autres
Publié: (2025)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
par: Kneisel, Tristan, et autres
Publié: (2026)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
par: Ye, Kangfeng, et autres
Publié: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
par: Klopfenstein, Rocky, et autres
Publié: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
par: Eichler, Paul, et autres
Publié: (2024)

Opacity in Discrete Event Systems: A Perspective and Overview
par: Yin, Xiang
Publié: (2026)

New Insights into the Decidability of Opacity in Timed Automata
par: Deng, Weilin, et autres
Publié: (2025)

On the Complexity of the Secret Protection Problem for Discrete-Event Systems
par: Masopust, Tomáš, et autres
Publié: (2025)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
par: Su, Han, et autres
Publié: (2024)

Secret Protection in Labeled Petri Nets
par: Haar, Stefan, et autres
Publié: (2025)

Overview of Controllability Definitions in Supervisory Control Theory
par: Keiren, Jeroen J. A., et autres
Publié: (2025)

Hyper parametric timed CTL
par: Waga, Masaki, et autres
Publié: (2024)

Over-approximation of weakly-hard constraints for control systems verification (Extended)
par: de Maeyer, Rieke, et autres
Publié: (2026)