Conflict-aware active automata learning

DOI10.4204/EPTCS.390.10MaRDI QIDQ6940532zbMATH OpenFDO

Authors Tiago A. E. Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32)

Cites work

• scientific article; zbMATH DE number 1982201 (Why is no real title available?)
• scientific article; zbMATH DE number 1798181 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3240929 (Why is no real title available?)
• Automata, logics, and infinite games. A guide to current research
• Causality checking for complex system models
• Causality-based game solving
• Causality. Models, reasoning, and inference
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Counterfactual causality for reachability and safety based on distance functions
• Counterfactuals.
• Distant group responsibility in multi-agent systems
• Elements of causal inference. Foundations and learning algorithms
• Explaining counterexamples using causality
• Fast string correction with Levenshtein automata
• Operational causality -- necessarily sufficient and sufficiently necessary
• Reducibility among combinatorial problems
• Shapes and geometries. Metrics, analysis, differential calculus, and optimization
• Temporal causality in reactive systems
• Whodunit? Causal Analysis for Counterexamples

This page was built for publication: Conflict-aware active automata learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940532)