TRUSTED - VerTRaUen, Sicherheit & AuTonomie im FahrzEug Der Zukunft

Projekt: Forschungsprojekt

  • 1 Beitrag in einem Konferenzband
  • 1 Preprint

Suchergebnisse

  • 2022

    Threat Repair with Optimization Modulo Theories

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

    Publikation: Arbeitspapier › Preprint

    Datei
  • 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. (Hrsg.). Cham: Springer Nature Switzerland AG, S. 157-170 14 S. (Lecture Notes in Computer Science; Band 12638).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung