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.


ċ
multipleTargetSetDefinitions.m
(3k)
Unknown user,
Apr 27, 2016, 10:35 PM
v.1
ċ
unicycleModeTarget.m
(3k)
Unknown user,
Apr 27, 2016, 11:19 PM
v.1
Comments