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.


ċ
Unknown user,
Apr 27, 2016, 10:35 PM
ċ
Unknown user,
Apr 27, 2016, 11:19 PM
Comments