Cooperative Reactive Synthesis

Roderick Bloem, Rüdiger Ehlers, Robert Könighofer

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „Cooperative Reactive Synthesis“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science