Guest editorial: special issue on formal methods in control

Necmiye Ozay, Paulo Tabuada
2017 Discrete event dynamic systems  
Issue at a glance The call for papers attracted twelve submissions. After a thorough review process, six full papers and two short papers were selected to appear in the special issue. The topics cov-Necmiye Ozay
doi:10.1007/s10626-017-0246-9 fatcat:7pbowztuabfj7gbklwbcbrv6oq