Sicco Verwer

2012
Aarts F, Kuppens H, Tretmans J, Vaandrager FW, Verwer SE. Learning and Testing the Bounded Retransmission Protocol. In: International Conference on Grammatical Inference (ICGI). International Conference on Grammatical Inference (ICGI).; 2012:4–18.
Zhang Y, Verwer SE. Mechanism for robust procurements. In: Principles and Practice of Multi-Agent Systems (PRIMA). Principles and Practice of Multi-Agent Systems (PRIMA).; 2012:77–91.
Blockeel H, Bogaerts B, Bruynooghe M, et al. Modeling machine learning and data mining problems with FO(.). In: LIPIcs-Leibniz International Proceedings in Informatics.Vol 17. LIPIcs-Leibniz International Proceedings in Informatics.; 2012.
De Paula Costa E, Verwer SE, Blockeel H. New procedure for estimating prediction certainty in decision trees. In: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn).; 2012:60–60.
Florêncio CC, Verwer SE. Regular inference as vertex coloring. In: Algorithmic Learning Theory (ALT). Algorithmic Learning Theory (ALT).; 2012:81–95.
Verwer SE, Eyraud R, De La Higuera C. Results of the pautomac probabilistic automaton learning competition. In: International Conference on Grammatical Inference (ICGI). International Conference on Grammatical Inference (ICGI).; 2012.
Verwer SE, Zhang Y. Revenue prediction in budget-constrained sequential auctions with complementarities. In: Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS).Vol 3. Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS).; 2012:1399–1400.
2011
Verwer SE, de Weerdt M, Witteveen C. Learning driving behavior by timed syntactic pattern recognition. In: Proceedings of the Twenty-Second international joint conference on Artificial Intelligence (IJCAI).Vol 2. Proceedings of the Twenty-Second international joint conference on Artificial Intelligence (IJCAI).; 2011:1529–1534.
Verwer SE, Zhang Y. Learning revenue-maximizing orderings in sequential auctions. In: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn).; 2011:320–327.
2010
Heule MJH, Verwer SE. Exact DFA identification using SAT solvers. In: Grammatical Inference: Theoretical Results and Applications (ICGI). Grammatical Inference: Theoretical Results and Applications (ICGI).; 2010:66–79.
Verwer SE, de Weerdt M, Witteveen C. A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data. In: Grammatical Inference: Theoretical Results and Applications (ICGI). Grammatical Inference: Theoretical Results and Applications (ICGI).; 2010:203–216.
Pechenizkiy M, Tesanovic A, Manev G, et al. Patient condition modeling in remote patient management: Hospitalization prediction. In: Adjunct Proceedings of 18th International Conference on User Modeling, Adaptation, and Personalization: Posters and Demonstrations. Adjunct Proceedings of 18th International Conference on User Modeling, Adaptation, and Personalization: Posters and Demonstrations.; 2010:34–36.
2009
Verwer SE, de Weerdt M, Witteveen C. One-clock deterministic timed automata are efficiently identifiable in the limit. In: Language and Automata Theory and Applications (LATA). Language and Automata Theory and Applications (LATA).; 2009:740–751.
Heule MJH, Verwer SE. Using a satisfiability solver to identify deterministic finite state automata. In: Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC).; 2009:91–98.
2008
Verwer SE, de Weerdt M, Witteveen C. Efficiently learning simple timed automata. In: Induction of Process Models workshop at ECML/PKDD. Induction of Process Models workshop at ECML/PKDD.; 2008:61–68.
Verwer SE, de Weerdt M, Witteveen C. Efficiently learning timed system models from observations. In: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn).; 2008:75–76.
Verwer SE, de Weerdt M, Witteveen C. Polynomial distinguishability of timed automata. In: Grammatical Inference: Algorithms and Applications (ICGI). Grammatical Inference: Algorithms and Applications (ICGI).; 2008:238–251.
Verwer SE, de Weerdt M, Witteveen C. Polynomial distinguishability of timed automata (extended abstract). In: Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC).; 2008:373-374.
2007
Verwer SE, de Weerdt M, Witteveen C. An algorithm for learning real-time automata. In: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn).; 2007:128–135.
Verwer SE, de Weerdt M, Witteveen C. An algorithm for learning real-time automata (extended abstract). In: Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC).; 2007:411-412.