How to Win First-Order Safety Games

Helmut Seidl, Christian Müller, Bernd Finkbeiner

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

3 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „How to Win First-Order Safety Games“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science