Image de couverture de livre

Error-awareness Accelerates Active Automata Learning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kruger, Loes, Junges, Sebastian, Rot, Jurriaan
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

State Matching and Multiple References in Adaptive Active Automata Learning
par: Kruger, Loes, et autres
Publié: (2024)

Small Test Suites for Active Automata Learning
par: Kruger, Loes, et autres
Publié: (2024)

Error-awareness Accelerates Active Automata Learning: Supplementary Material
par: Kruger, Loes, et autres
Publié: (2026)

Relating Apartness and Branching Bisimulation Games
par: Rot, Jurriaan, et autres
Publié: (2024)

Incremental Fingerprinting in an Open World
par: Kruger, Loes, et autres
Publié: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
par: Watanabe, Kazuki, et autres
Publié: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
par: Kocsis, Bálint, et autres
Publié: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
par: Watanabe, Kazuki, et autres
Publié: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
par: Pous, Damien, et autres
Publié: (2022)

Initial Algebra Correspondence under Reachability Conditions
par: Kori, Mayuko, et autres
Publié: (2025)

Correspondences between codensity and coupling-based liftings, a practical approach
par: Humeau, Samuel, et autres
Publié: (2024)

Trees in Coalgebra from Generalized Reachability
par: Wißmann, Thorsten, et autres
Publié: (2025)

Proving Behavioural Apartness
par: Turkenburg, Ruben, et autres
Publié: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Constructing Witnesses for Lower Bounds on Behavioural Distances
par: Turkenburg, Ruben, et autres
Publié: (2025)

On Improving Deep Active Learning with Formal Verification
par: Spiegelman, Jonathan, et autres
Publié: (2025)

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata
par: Verwer, Sicco, et autres
Publié: (2022)

Learning Quantitative Automata Modulo Theories
par: Hsiung, Eric, et autres
Publié: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
par: Baldan, Paolo, et autres
Publié: (2026)

Composing Codensity Bisimulations
par: Kori, Mayuko, et autres
Publié: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
par: Buleshnyi, Mykhailo, et autres
Publié: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
par: Benedikt, Michael, et autres
Publié: (2026)

From learnable objects to learnable random objects
par: Anderson, Aaron, et autres
Publié: (2025)

Programs as Singularities
par: Murfet, Daniel, et autres
Publié: (2025)

The Role of Logic and Automata in Understanding Transformers
par: Lin, Anthony W., et autres
Publié: (2025)

Approximating Fixpoints of Approximated Functions
par: Baldan, Paolo, et autres
Publié: (2025)

Learning Robust Markov Models for Safe Runtime Monitoring
par: Skurka, Antonina, et autres
Publié: (2026)

Bisimulation Learning
par: Abate, Alessandro, et autres
Publié: (2024)

Deep Learning with Parametric Lenses
par: Cruttwell, Geoffrey S. H., et autres
Publié: (2024)

Scalable Interconnect Learning in Boolean Networks
par: Kresse, Fabian, et autres
Publié: (2025)

Output-decomposed Learning of Mealy Machines
par: Koenders, Rick, et autres
Publié: (2024)

Null Measurability at the Symmetrization Interface in VC Learning
par: Gupta, Dhruv
Publié: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

A General Framework for Property-Driven Machine Learning
par: Flinkow, Thomas, et autres
Publié: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
par: Amir, Guy, et autres
Publié: (2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
par: Omi, Nabil, et autres
Publié: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
par: Cropper, Andrew, et autres
Publié: (2024)

Learning Representations Through Contrastive Neural Model Checking
par: Krsmanovic, Vladimir, et autres
Publié: (2025)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
par: Xi, Bowen, et autres
Publié: (2023)