• PRISM-games

  • Referenced in 20 articles [sw12934]
  • stochastic multi-player games. We present PRISM-games, a model checker for stochastic multi-player ... whilst adding novel model checking algorithms for stochastic games, as well as functionality to synthesise...
  • R

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

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

  • Referenced in 161 articles [sw04359]
  • R package mvtnorm: Multivariate Normal and t Distributions...
  • SITATION

  • Referenced in 242 articles [sw07503]
  • Network and discrete location. Models, algorithms, and applications...
  • MOD-DIST

  • Referenced in 250 articles [sw07504]
  • Network and discrete location. Models, algorithms, and applications...
  • MENU-OKF

  • Referenced in 250 articles [sw07505]
  • Network and discrete location. Models, algorithms, and applications...
  • JAGS

  • Referenced in 247 articles [sw08040]
  • JAGS is Just Another Gibbs Sampler. It is...
  • Chord

  • Referenced in 209 articles [sw09434]
  • Chord: A scalable peer-to-peer lookup service...
  • MCMAS

  • Referenced in 80 articles [sw09463]
  • MCMAS: A Model Checker for the Verification of...
  • GIST

  • Referenced in 9 articles [sw09876]
  • Gist: A Solver for Probabilistic Games. Gist is...
  • pchip

  • Referenced in 371 articles [sw10140]
  • pchip. Piecewise Cubic Hermite Interpolating Polynomial (PCHIP) ...
  • BayesDA

  • Referenced in 1209 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...
  • Z-Tree

  • Referenced in 643 articles [sw11707]
  • Z-Tree: Zurich Toolbox for ready-made economic...
  • MOCHA

  • Referenced in 92 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...
  • GDL

  • Referenced in 23 articles [sw27615]
  • Game Description Language, or GDL, is a logic...
  • EAGLE

  • Referenced in 8 articles [sw31989]
  • A tool for the automated verification of Nash...