Klara J. Meyer
Results
1
repositories owned by
Klara J. Meyer
strix
18
Stars
1
Forks
Watchers
Strix is a tool for reactive synthesis of controllers from LTL specifications.
