1. 2019
  2. Learning optimal classification trees using a binary linear program formulation

    Verwer, S. & Zhang, Y. 2019 (Accepted/In press) 33rd AAAI Conference on Artificial Intelligence. p. 1-8 8 p.

    Research output: Scientific - peer-reviewConference contribution

  3. 2018
  4. Learning fuzzy decision trees using integer programming

    Rhuggenaath, J. S., Zhang, Y., Akcay, A., Kaymak, U. & Verwer, S. 1 Feb 2018 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). Piscataway: IEEE, p. 1-8 8 p.

    Research output: Scientific - peer-reviewConference contribution

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

  6. Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving

    Zhang, Y., Lin, Q., Wang, J., Verwer, S. & Dolan, J. M. 2018 In : IEEE Transactions on Intelligent Vehicles. 3, 3, p. 276-286 11 p.

    Research output: Scientific - peer-reviewArticle

  7. MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors

    Lin, Q., Zhang, Y., Verwer, S. & Wang, J. 2018 In : IEEE Transactions on Intelligent Transportation Systems. PP, 99, p. 1-8 8 p.

    Research output: Scientific - peer-reviewArticle

  8. TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems

    Lin, Q., Adepu, S., Verwer, S. & Mathur, A. 2018 ASIACCS 2018 - Proceedings of the 2018 ACM Asia Conference on Computer and Communications Security. New York: Association for Computing Machinery (ACM), p. 525-536 12 p.

    Research output: Scientific - peer-reviewConference contribution

  9. Vulnerability Detection on Mobile Applications Using State Machine Inference

    van der Lee, W. & Verwer, S. 2018 Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EUROS&PW 2018. Los Alamitos, CA: IEEE, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

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

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

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

Previous 1 2 3 4 5 Next

ID: 172770