• NNV

  • Referenced in 3 articles [sw32539]
  • Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs ... variety of set representations, such as polyhedra, star sets, zonotopes, and abstract-domain representations ... learning-enabled CPS, such as closed-loop control systems incorporating neural networks, NNV provides exact...
  • HySon

  • Referenced in 1 article [sw20161]
  • HySon: Set-based simulation of hybrid systems. Hybrid systems are a widely used model ... represent and reason about control-command systems. In an industrial context, these are often implemented ... tool named HySon which performs set-based simulation of hybrid systems with uncertain parameters, expressed...
  • complib

  • Referenced in 34 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CP-nets

  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • GiNaC

  • Referenced in 80 articles [sw01609]
  • GiNaC is a C++ library. It is designed...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • Modelica

  • Referenced in 125 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • CVX

  • Referenced in 845 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mosek

  • Referenced in 493 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Knapsack

  • Referenced in 488 articles [sw04723]
  • Knapsack problems are the simplest NP-hard problems...
  • MPT

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • MINPACK-2

  • Referenced in 57 articles [sw04751]
  • A limited memory quasi Newton method. Directories contain...