Searched for: +
(1 - 2 of 2)
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