- document
-
Verwer, S.E. (author), De Weerdt, M.M. (author), Witteveen, C. (author)We develop a novel learning algorithm RTI for identifying a deterministic real-time automaton (DRTA) from labeled time-stamped event sequences. The RTI algorithm is based on the current state of the art in deterministic finite-state automaton (DFA) identification, called evidence-driven state-merging (EDSM). In addition to having a DFA structure...journal article 2011
- document
-
Verwer, S. (author), De Weerdt, M.M. (author), Witteveen, C. (author)We develop theory on the efficiency of identifying (learning) timed automata. In particular, we show that: (i) deterministic timed automata cannot be identified efficiently in the limit from labeled data and (ii) that one-clock deterministic timed automata can be identified efficiently in the limit from labeled data. We prove these results based...journal article 2010