GitLab

Building D makes synthesis crash.

M = (a -> AUX), AUX = (b -> AUX | c -> AUX).

controllerSpec G1 = { reachability controllable = {a} marking = {b} }

controllerSpec G2 = { controllable = {a} marking = {b} }

controller ||C = M~{G1}. heuristic ||D = M~{G2}.