Imagen de Portada

Error-awareness Accelerates Active Automata Learning: Supplementary Material

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Kruger, Loes, Junges, Sebastian, Rot, Jurriaan
Formato:	Recurso digital
Publicado:	Zenodo 2026
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Error-awareness Accelerates Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2026)

Small Test Suites for Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

State Matching and Multiple References in Adaptive Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

Incremental Fingerprinting in an Open World
por: Kruger, Loes, et al.
Publicado: (2026)

Relating Apartness and Branching Bisimulation Games
por: Rot, Jurriaan, et al.
Publicado: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
por: Kocsis, Bálint, et al.
Publicado: (2024)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
por: Watanabe, Kazuki, et al.
Publicado: (2024)

Learning Automata with Name Allocation
por: Frank, Florian, et al.
Publicado: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
por: Watanabe, Kazuki, et al.
Publicado: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
por: Pous, Damien, et al.
Publicado: (2022)

Correspondences between codensity and coupling-based liftings, a practical approach
por: Humeau, Samuel, et al.
Publicado: (2024)

Initial Algebra Correspondence under Reachability Conditions
por: Kori, Mayuko, et al.
Publicado: (2025)

Trees in Coalgebra from Generalized Reachability
por: Wißmann, Thorsten, et al.
Publicado: (2025)

Proving Behavioural Apartness
por: Turkenburg, Ruben, et al.
Publicado: (2024)

Relational Connectors and Heterogeneous Bisimulations
por: Nora, Pedro, et al.
Publicado: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
por: Schoen, Ezra, et al.
Publicado: (2024)

Composing Codensity Bisimulations
por: Kori, Mayuko, et al.
Publicado: (2024)

Intrinsically Correct Sorting in Cubical Agda
por: Alexandru, Cass, et al.
Publicado: (2024)

Constructing Witnesses for Lower Bounds on Behavioural Distances
por: Turkenburg, Ruben, et al.
Publicado: (2025)

Active Learning of Symbolic Automata Over Rational Numbers
por: Hagedorn, Sebastian, et al.
Publicado: (2025)

Active Automata Learning with Advice
por: Fica, Michał, et al.
Publicado: (2025)

Active Learning of Symbolic Mealy Automata
por: Irie, Kengo, et al.
Publicado: (2025)

Learning Verified Monitors for Hidden Markov Models
por: van der Maas, Luko, et al.
Publicado: (2025)

SMT-Based Active Learning of Weighted Automata
por: Ferreira, Tiago, et al.
Publicado: (2026)

Active Learning of Symbolic NetKAT Automata
por: Moeller, Mark, et al.
Publicado: (2025)

Supplementary Material
por: Mall, Manish Kumar
Publicado: (2026)

Supplementary Material
por: He, Shaoyan
Publicado: (2026)

Supplementary Material
por: Gordillo León, Fernando
Publicado: (2026)

Supplementary Materials
por: Krismanuel, Hari
Publicado: (2025)

Supplementary Material
por: Loggia, Gilles
Publicado: (2025)

Ropes have an even number of ends
por: Rot, Thomas O.
Publicado: (2024)

Online Supplementary Material
por: Anonymous Authors
Publicado: (2026)

CRAKEN Supplementary Materials
por: Anonymous Authors
Publicado: (2025)

An $L^{\#}$ Based Algorithm for Active Learning of Minimal Separating Automata
por: Laumen, Jasper, et al.
Publicado: (2026)

Longer cutting intervals on the characteristics of Guinea grass: morphogenetic, productive, and nutritional traits
por: Luciana Junges
Publicado: (2024)

Additive containing homo and heterolactic bacteria on the fermentation quality of maize silage
por: Daniel Junges
Publicado: (2013)

CAX: Cellular Automata Accelerated in JAX
por: Faldor, Maxence, et al.
Publicado: (2024)

Approximate Dec-POMDP Solving Using Multi-Agent A*
por: Koops, Wietze, et al.
Publicado: (2024)

Supplementary Material for "Human vs. Machine: Comparing Selection Strategies in Active Learning for Optical Music Recognition" (ISMIR 2025)
por: Martinez-Esteso, Juan P., et al.
Publicado: (2025)

Meshless $h$-adaptive Solution for non-Newtonian Natural Convection in a Differentially Heated Cavity
por: Rot, Miha, et al.
Publicado: (2026)