Abstract: We present a method for mending strategies for GR(1) specifications. Given the addition or removal of edges from the game graph describing a problem (essentially transition rules in a GR(1) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback