Buchumschlag

State Matching and Multiple References in Adaptive Active Automata Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kruger, Loes, Junges, Sebastian, Rot, Jurriaan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Incremental Fingerprinting in an Open World
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Error-awareness Accelerates Active Automata Learning: Supplementary Material
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
von: Kocsis, Bálint, et al.
Veröffentlicht: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Correspondences between codensity and coupling-based liftings, a practical approach
von: Humeau, Samuel, et al.
Veröffentlicht: (2024)

Proving Behavioural Apartness
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
von: Schoen, Ezra, et al.
Veröffentlicht: (2024)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata
von: Verwer, Sicco, et al.
Veröffentlicht: (2022)

Learning Quantitative Automata Modulo Theories
von: Hsiung, Eric, et al.
Veröffentlicht: (2024)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
von: Zhou, Xiaofeng, et al.
Veröffentlicht: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

Developing a Dataset-Adaptive, Normalized Metric for Machine Learning Model Assessment: Integrating Size, Complexity, and Class Imbalance
von: Ossenov, Serzhan
Veröffentlicht: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
von: Benedikt, Michael, et al.
Veröffentlicht: (2026)

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Programs as Singularities
von: Murfet, Daniel, et al.
Veröffentlicht: (2025)

The Role of Logic and Automata in Understanding Transformers
von: Lin, Anthony W., et al.
Veröffentlicht: (2025)

Approximating Fixpoints of Approximated Functions
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Learning Robust Markov Models for Safe Runtime Monitoring
von: Skurka, Antonina, et al.
Veröffentlicht: (2026)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Deep Learning with Parametric Lenses
von: Cruttwell, Geoffrey S. H., et al.
Veröffentlicht: (2024)

Output-decomposed Learning of Mealy Machines
von: Koenders, Rick, et al.
Veröffentlicht: (2024)

Scalable Interconnect Learning in Boolean Networks
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Null Measurability at the Symmetrization Interface in VC Learning
von: Gupta, Dhruv
Veröffentlicht: (2026)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
von: Amir, Guy, et al.
Veröffentlicht: (2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
von: Omi, Nabil, et al.
Veröffentlicht: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
von: Cropper, Andrew, et al.
Veröffentlicht: (2024)

A General Framework for Property-Driven Machine Learning
von: Flinkow, Thomas, et al.
Veröffentlicht: (2025)

Learning Representations Through Contrastive Neural Model Checking
von: Krsmanovic, Vladimir, et al.
Veröffentlicht: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)