TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Stefan Pranger^*, Bettina Könighofer, Lukas Posch, Roderick Bloem

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

1 Ergebnisse

Abgeschlossen
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
Bloem, R.
1/10/20 → 30/09/23
Projekt: Forschungsprojekt