1. 2018
  2. A data-driven behavior generation algorithm in car-following scenarios

    Zhang, Y., Lin, Q., Wang, J., Verwer, S. & Dolan, J. M. 2018 Dynamics of Vehicles on Roads and Tracks: Proceedings of the 25th International Symposium on Dynamics of Vehicles on Roads and Tracks (IAVSD 2017) . Spiryagin, M., Gordon, T., Cole, C. & McSweeney, T. (eds.). Leiden: CRC Press, Vol. 1, p. 1-2 2 p.

    Research output: Scientific - peer-reviewConference contribution

  3. 2017
  4. Learning behavioral fingerprints from Netflows using Timed Automata

    Pellegrino, N., Lin, Q., Hammerschmidt, C. & Verwer, S. 24 Jul 2017 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Chemouil, P., Monteiro, E., Charalambides, M., Madeira, E., Simoes, P., Secci, S., Gaspary, L. P. & dos Santos, C. R. P. (eds.). IEEE, p. 308-316 9 p.

    Research output: Scientific - peer-reviewConference contribution

  5. Car-following Behavior Model Learning Using Timed Automata

    Zhang, Y., Lin, Q., Wang, J. & Verwer, S. Jul 2017 IFAC-PapersOnLine. Dochain, D., Henrion, D. & Peaucelle, D. (eds.). Elsevier, p. 2353-2358 6 p. (IFAC-PapersOnLine; vol. 50, no. 1)

    Research output: Scientific - peer-reviewConference contribution

  6. Learning Pairwise Disjoint Simple Languages from Positive Examples

    Linard, A., Smetsers, R., Vaandrager, F. W., Waqas, U., van Pinxten, . J. & Verwer, S. 6 Jun 2017 ArXiv Preprint.

    Research output: ScientificConference contribution

  7. Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata

    Liu, X., Lin, Q., Verwer, S. & Jarnikov, D. 24 May 2017 ArXiv Preprint.

    Research output: ScientificConference contribution

  8. An Experience Report on Applying Passive Learning in a Large-Scale Payment Company

    Wieman, R., Finavaro Aniche, M., Lobbezoo, W., Verwer, S. & van Deursen, A. 2017 Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Los Alamitos, CA: IEEE Computer Society, p. 564-573 10 p.

    Research output: Scientific - peer-reviewConference contribution

  9. Auction optimization using regression trees and linear models as integer programs

    Zhang, Y., Verwer, S. & Ye, Q. C. 2017 In : Artificial Intelligence. 244, p. 368-395 28 p.

    Research output: Scientific - peer-reviewArticle

  10. Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms

    Hammerschmidt, C. A., State, R. & Verwer, S. 2017 ArXiv Preprint. Vol. abs/1707.09430

    Research output: ScientificConference contribution

  11. Improved privacy of dynamic group services

    Veugen, T., Doumen, J., Erkin, Z., Pellegrino, N., Verwer, S. & Weber, J. 2017 In : Eurasip Journal on Information Security. 2017, 1, p. 1-9 9 p., 3

    Research output: Scientific - peer-reviewArticle

  12. Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization

    Verwer, S. & Zhang, Y. 2017 Integration of AI and OR Techniques in Constraint Programming: CPAIOR 2017. Salvagnin, D. & Lombardi, M. (eds.). Cham: Springer, p. 94-103 10 p. (Lecture Notes in Computer Science; vol. 10335)

    Research output: Scientific - peer-reviewConference contribution

Previous 1 2 3 4 Next

ID: 172770