LEAP is a state-merging algorithm that passively learns event-recording automata from positive and negative symbolic timed words, with an NP-completeness result for the merge check and a completeness proof via characteristic samples.
Learning real-time automata
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.FL 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Learning Event-recording Automata Passively
LEAP is a state-merging algorithm that passively learns event-recording automata from positive and negative symbolic timed words, with an NP-completeness result for the merge check and a completeness proof via characteristic samples.