Active learning of deterministic timed automata with Myhill-Nerode style characterization

DOI10.1007/978-3-031-37706-8_1MaRDI QIDQ6535622zbMATH OpenFDO

Authors Masaki Waga

Publication date 1 February 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-37706-8_1

zbMATH Keywords

active automata learningL* algorithmobservation tablerecognizable timed languagestimed automata

Mathematics Subject Classification ID

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

Recommendations

• Active learning of one-clock timed automata using constraint solving
• Learning one-clock timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• An efficient algorithm for learning event-recording automata
• Learning of event-recording automata

Cites work

• A logical characterization of timed regular languages
• A Machine-Independent Characterization of Timed Languages
• A theory of timed automata
• Active learning of deterministic timed automata with Myhill-Nerode style characterization
• Active learning of one-clock timed automata using constraint solving
• Active learning of timed automata with unobservable resets
• Falsification of cyber-physical systems with robustness-guided black-box checking
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1863168 (Why is no real title available?)
• scientific article; zbMATH DE number 1418458 (Why is no real title available?)
• Inference of Event-Recording Automata Using Timed Decision Trees
• Inference of finite automata using homing sequences
• Learning of event-recording automata
• Learning one-clock timed automata
• Learning regular sets from queries and counterexamples
• Learning symbolic automata
• The learnability of symbolic automata
• Time to learn -- learning timed automata from tests
• Timed regular expressions

Cited in

(4)

• Active learning of deterministic timed automata with Myhill-Nerode style characterization
• Learning deterministic multi-clock timed automata
• A Myhill-Nerode style characterization for timed automata with integer resets
• Compositional active learning of synchronizing systems through automated alphabet refinement

This page was built for publication: Active learning of deterministic timed automata with Myhill-Nerode style characterization

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