Open Issues Need Help
View All on GitHub Add concepts for the moving parts, i.e. the templates about 1 month ago
enhancement good first issue
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
C++
#automata#automated-reasoning#formal-methods#formal-verification#linear-temporal-logic#ltl#reactive-synthesis#temporal-synthesis
Fuzz the tool 8 months ago
enhancement help wanted good first issue
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
C++
#automata#automated-reasoning#formal-methods#formal-verification#linear-temporal-logic#ltl#reactive-synthesis#temporal-synthesis
Legacy sources from before posets was factored out 10 months ago
enhancement good first issue
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
C++
#automata#automated-reasoning#formal-methods#formal-verification#linear-temporal-logic#ltl#reactive-synthesis#temporal-synthesis