• OMPL

  • Referenced in 4 articles [sw33230]
  • many state-of-the-art sampling-based motion planning algorithms. OMPL itself does not contain...
  • Simox

  • Referenced in 1 article [sw26542]
  • implementations of sampling-based motion planning algorithms (e.g. Rapidly-exploring Random Trees) are served...
  • ANSYS

  • Referenced in 663 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • AIS-BN

  • Referenced in 25 articles [sw02223]
  • AIS-BN: An adaptive importance sampling algorithm for...
  • CPLEX

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

  • Referenced in 327 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • RSOLVER

  • Referenced in 71 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Qhull

  • Referenced in 302 articles [sw04419]
  • The convex hull of a point set P...
  • YALMIP

  • Referenced in 962 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Benchmarks

  • Referenced in 24 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation...
  • Uppaal

  • Referenced in 635 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • MPT

  • Referenced in 212 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • GSL

  • Referenced in 252 articles [sw05883]
  • The GNU Scientific Library (GSL) is a numerical...
  • HSolver

  • Referenced in 42 articles [sw07419]
  • HSolver is a program for verification of hybrid...
  • Blendenpik

  • Referenced in 37 articles [sw09210]
  • Blendenpik: supercharging Lapack’s least-squares solver. Several...
  • AutoDock

  • Referenced in 34 articles [sw09659]
  • AutoDock is a suite of automated docking tools...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • d/dt is a tool for reachability analysis of...
  • BayesDA

  • Referenced in 1149 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...