%ABahavarnia, MirSaleh%AShoukry, Yasser%AMartins, Nuno%D2020%I %K %MOSTI ID: 10195920 %PMedium: X %TController Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach %X Country unknown/Code not availablehttps://doi.org/10.23919/ACC45564.2020.9147460OSTI-MSA