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. |
Mode-Target Games: reactive synthesis for control applications
|