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