A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4
stars
3
forks
source link
Extend the compositional algorithm to unrealizability checks #35
Open
gaperez64 opened 1 year ago
As in title