S

Strix

Project information

Explicit Reactive Synthesis from LTL specifications

1,327 Commits
14 Branches
1 Tag

README
GNU AGPLv3

Created on

January 28, 2018

Loading

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum