• Sapo

  • Referenced in 4 articles [sw23566]
  • while specifications are formalized as Signal Temporal Logic (STL) formulas...
  • ParetoLib

  • Referenced in 0 articles [sw32890]
  • applied in the parameter synthesis of temporal logic predicates where the influence of parameters ... parameter synthesis of standard (STL) and extended (STLe) Signal Temporal Logic specifications. The tool...
  • Matlab

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

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

  • Referenced in 150 articles [sw04505]
  • R package forecast: Forecasting functions for time series...
  • Forecast

  • Referenced in 94 articles [sw07972]
  • forecast: Forecasting functions for time series and linear...
  • S-TaLiRo

  • Referenced in 20 articles [sw09775]
  • S-TaLiRo: A tool for temporal logic falsification...
  • Flow*

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

  • Referenced in 24 articles [sw20822]
  • Breach, a toolbox for verification and parameter synthesis...