1. 2008
  2. Polynomial distinguishability of timed automata

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2008, ICGI. Clark, A., Coste, F. & Miclet, L. (eds.). Springer, p. 238-251 14 p. (Lecture Notes in Artificial Intelligence; vol. 5278).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 2006
  4. Identifying an automaton model for timed data

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2006, Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Saeys, Y., Tsiporkova, E., Baets, B. D. & van de Peer, Y. (eds.). Benelearn, p. 57-64 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Identifying an automaton model for timed data (extended abstract)

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2006, Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Schobbens, P-Y., Vanhoof, W. & Schwanen, G. (eds.). BNVKI, p. 439-440 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. On the identifiability in the limit of timed automata

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2006, Proceedings of the Grammatical inference workshop on open problems and new directions. p. -

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. 2005
  8. Timed automata for behavorial pattern recognition

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2005, BNAIC 2005 - Proceedings of the seventeenth Belgium-Netherlands conference on artificial intelligence. Verbeeck, K., Tuyls, K., Nowé, A., Manderick, B. & Kuijpers, B. (eds.). Brussels, Belgium: KVAB, p. 291-296 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 3 Next

ID: 172770