Mode-Target Games: reactive synthesis for control applications

Supplementary Material:

unicycleModeTarget.m contains the definitions of mode and target sets for part A in Experiments section.

multipleTargetSetDefinitions.m contains the definitions of mode and target sets for part B in Experiments section.