1. 2005
  2. 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

  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. 2008
  8. Efficiently learning simple timed automata

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2008, Induction of Process Models (IPM 2008). Bridewell, W., Calders, T., de Medeiros, A. K., Kramer, S., Pechenizkiy, M. & Todorovski, L. (eds.). Antwerp: University of Antwerp, p. 61-68 8 p.

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

  9. Efficiently learning timed models from observations

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2008, Benelearn 2008. Wehenkel, L., Geurts, P. & Maree, R. (eds.). Luik: University of Liege, p. 75-76 2 p.

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

  10. 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

  11. 2009
  12. One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2009, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Dediu, AH., Ionescu, AM. & Martin-Vide, C. (eds.). Berlin: Springer, p. 740-751 12 p. (Lecture Notes in Computer Science; vol. 5457).

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

  13. Using a satisfiability solver to identify deterministic finite state automata

    Heule, MJH. & Verwer, SE., 2009, BNAIC 2009 Benelux Conference on Artificial Intelligence. Calders, T., Tuyls, K. & Pechenizkiy, M. (eds.). Eindhoven: BNAIC, p. 91-98 8 p.

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

  14. 2010
  15. A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2010, Grammatical Inference: Theoretical Results and Applications. Sempere, JM. & García, P. (eds.). Berlin: Springer, p. 203-216 14 p. (Lecture Notes in Computer Science; vol. 6339).

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

Previous 1 2 3 4 5 Next

ID: 172770