Image de couverture de livre

Small Test Suites for Active Automata Learning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kruger, Loes, Junges, Sebastian, Rot, Jurriaan
Format:	Preprint
Publié:	2024
Sujets:	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

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

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

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

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)

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

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
par: Watanabe, Kazuki, 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)

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

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

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

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

Small Decision Trees for MDPs with Deductive Synthesis
par: Andriushchenko, Roman, et autres
Publié: (2025)

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

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

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
par: Suilen, Marnix, et autres
Publié: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
par: Andriushchenko, Roman, et autres
Publié: (2024)

Robust Almost-Sure Reachability in Multi-Environment MDPs
par: van der Vegt, Marck, et autres
Publié: (2023)

Learning Verified Monitors for Hidden Markov Models
par: van der Maas, Luko, et autres
Publié: (2025)

CTMCs with Imprecisely Timed Observations
par: Badings, Thom, et autres
Publié: (2024)

Compositional Value Iteration with Pareto Caching
par: Watanabe, Kazuki, et autres
Publié: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
par: Gerlach, Lina, et autres
Publié: (2025)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
par: van der Vegt, Marck, et autres
Publié: (2025)

Tractable Hyperproperties for MDPs
par: Gerlach, Lina, et autres
Publié: (2026)

Intrinsically Correct Sorting in Cubical Agda
par: Alexandru, Cass, et autres
Publié: (2024)

Step Automata
par: Wang, Yong
Publié: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
par: Češka, Milan, et autres
Publié: (2026)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
par: Heck, Linus, et autres
Publié: (2025)

Automata for Enriched Trees and Applications
par: Blumensath, Achim
Publié: (2025)

Overview and Roadmap of Team Automata
par: ter Beek, Maurice H., et autres
Publié: (2025)

Decision Questions for Probabilistic Automata on Small Alphabets
par: Bell, Paul C., et autres
Publié: (2021)

Runtime Verification of Interactions Using Automata
par: Weil-Kennedy, Chana, et autres
Publié: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
par: Mertens, Hannah, et autres
Publié: (2026)

Petri Nets and Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
par: Heck, Linus, et autres
Publié: (2026)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
par: Doveri, Kyveli, et autres
Publié: (2026)

Sound Conflict Analysis for Timed Contract Automata
par: Azzopardi, Shaun, et autres
Publié: (2024)