• NMRDPP

  • Referenced in 4 articles [sw10437]
  • non-Markovian rewards is inspired by the treatment of domain-specific search control knowledge...
  • Mathematica

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • TimeNET

  • Referenced in 29 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...
  • PRISM

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

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

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • SHARPE

  • Referenced in 42 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • YALMIP

  • Referenced in 970 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • EMpht

  • Referenced in 77 articles [sw08387]
  • EMpht is a program for fitting phase-type...
  • itsmr

  • Referenced in 197 articles [sw11210]
  • itsmr: Time series analysis package for students. This...
  • ESP

  • Referenced in 16 articles [sw14787]
  • ESP – a package for the evaluation of stochastic...
  • Snoop

  • Referenced in 13 articles [sw17981]
  • Snoop: an expressive event specification language for active...
  • ML

  • Referenced in 81 articles [sw20907]
  • Numerical evaluation of two and three parameter Mittag...
  • Boids

  • Referenced in 323 articles [sw38863]
  • Boids: In 1986 I made a computer model...