• Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • PESSOA

  • Referenced in 22 articles [sw20123]
  • Pessoa 2.0: a controller synthesis tool for cyber...
  • CoSyma

  • Referenced in 12 articles [sw20124]
  • CoSyma: a tool for controller synthesis using multi...
  • SCOTS

  • Referenced in 20 articles [sw20172]
  • SCOTS: a tool for the synthesis of symbolic...
  • TuLiP

  • Referenced in 14 articles [sw20173]
  • TuLiP: a software toolbox for receding horizon temporal...