• Matlab

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

  • Referenced in 75 articles [sw10939]
  • SpaceEx: Scalable Verification of Hybrid Systems. We present...
  • PESSOA

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

  • Referenced in 27 articles [sw20162]
  • Flow*: an analyzer for non-linear hybrid systems...
  • SCOTS

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

  • Referenced in 1 article [sw30629]
  • TIRA: toolbox for interval reachability analysis. This paper...