Results 1 to 7 of 7
Sort by:

  • 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...