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
Implement OTFUR as an alternative to the backward algorithm #19
Open
gaperez64 opened 1 year ago
As in title, see A. Bohy's thesis for the algorithm (or Kim Larsen et al's paper with the original description of the algorithm for a timed setting).