• R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • PESSOA

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

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

  • Referenced in 3 articles [sw27481]
  • UPMurphi: a Tool for Universal Planning on PDDL...