TRUSTED - Trutst, security & autonomy in automation of the future

Project: Research project

  • 1 Conference paper
  • 1 Preprint

Search results

  • 2022

    Threat Repair with Optimization Modulo Theories

    Tarrach, T., Ebrahimi, M., König, S., Schmittner, C., Bloem, R. & Nickovic, D., 6 Oct 2022.

    Research output: Working paper › Preprint

    File
  • 2021

    Learning Mealy Machines with One Timer

    Vaandrager, F., Bloem, R. & Ebrahimi, M., 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Cham: Springer Nature Switzerland AG, p. 157-170 14 p. (Lecture Notes in Computer Science; vol. 12638).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review