• PRISM

  • Referenced in 424 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed ... probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes ... performed through model checking such systems against specifications written in the probabilistic temporal logics PCTL ... tool features three model checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs...
  • DIMACS

  • Referenced in 546 articles [sw08221]
  • case analysis is overly pessimistic and probabilistic models are too unrealistic: experimentation can provide guides...
  • MRMC

  • Referenced in 70 articles [sw04129]
  • outs of the probabilistic model checker MRMC. The Markov Reward Model Checker (MRMC ... software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • uses Bayesian learning based on a probabilistic model of a user’s behavior. The predictions...
  • PMaude

  • Referenced in 30 articles [sw08422]
  • rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based ... support for performing discrete-event simulations of models written in PMaude, and for statistically analyzing ... query various quantitative aspects of a probabilistic model. We also describe a statistical technique ... evaluate QuaTEx expressions for a probabilistic model...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • BLOG: probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language ... unique probability distribution over first-order model structures that can contain varying and unbounded numbers ... language. We also introduce a probabilistic form of Skolemization for handling evidence...
  • PRISM

  • Referenced in 34 articles [sw23359]
  • symbolic-statistical modeling language PRISM whose programs are not only a probabilistic extension of logic ... appropriate for probabilistic reasoning, it can describe various types of symbolic-statistical modeling formalism known ... with learning results, that most popular probabilistic modeling formalisms, the hidden Markov model and Bayesian...
  • PAT

  • Referenced in 33 articles [sw13258]
  • animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such ... with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced optimization...
  • Antichains

  • Referenced in 30 articles [sw20208]
  • algorithm experimentally using the random automaton model recently proposed by Tabakov and Vardi. We show ... difficult instances of this probabilistic model, the antichain algorithm outperforms the standard one by several...
  • APMC

  • Referenced in 28 articles [sw11483]
  • Approximate probabilistic model checking. Symbolic model checking methods have been extended recently to the verification ... probabilistic systems. However, the representation of the transition matrix may be expensive for very large ... induce a prohibitive cost for the model checking algorithm. In this paper, we propose ... satisfied with high confidence by a probabilistic system. Our randomized algorithm requires only a succinct...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • rich declarative language for describing probabilistic models. The expression language allows the description of arbitrarily...
  • Edward

  • Referenced in 14 articles [sw21517]
  • Edward: A Library for Probabilistic Modeling, Inference, and Criticism. Edward is a Python library ... probabilistic modeling, inference, and criticism. It is a testbed for fast experimentation and research with ... probabilistic models, ranging from classical hierarchical models on small data sets to complex deep probabilistic ... models on large data sets. Edward fuses three fields: Bayesian statistics and machine learning, deep...
  • PRISM-games

  • Referenced in 19 articles [sw12934]
  • games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with ... competitive or cooperative behaviour. Models are described in a probabilistic extension of the Reactive Modules ... tool is based on the probabilistic model checker PRISM, benefiting from its existing user interface...
  • PILCO

  • Referenced in 23 articles [sw34813]
  • PILCO: A Model-Based and Data-Efficient Approach to Policy Search. PILCO policy search framework ... controls/actions and is based on probabilistic modeling of the dynamics and approximate Bayesian inference...
  • WINSTEPS

  • Referenced in 27 articles [sw06661]
  • item response theory, IRT, or logit-linear models. Rasch specifies how persons, probes, prompts, raters ... tasks, etc. must interact statistically through probabilistic measurement models for linear measures to be constructed...
  • Storm

  • Referenced in 12 articles [sw17417]
  • Probabilistic Model Checker Storm (Extended Abstract). We present a new probabilistic model checker Storm. Using...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • flexible probabilistic database system. Probability theory is mathematically the best understood paradigm for modeling ... among the events involved. Previous work on probabilistic databases has assumed a fixed and restrictivecombination ... theory. (1) We propose a probabilistic relational data model and a genericprobabilistic relational algebra that ... queries in the positive fragment of the probabilistic relational algebra have essentially the same data...
  • VESTA

  • Referenced in 24 articles [sw08425]
  • VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. VESTA is a tool ... statistical analysis of probabilistic systems. It supports statistical model-checking [6, 7] and statistical evaluation ... expected values of temporal expressions. For model-checking VESTA uses a sequence of inter-related ... check if a property specified in probabilistic computation tree logic (PCTL) [3] or continuous stochastic...
  • FAUST2

  • Referenced in 13 articles [sw23682]
  • abstract model to well-known probabilistic model checkers, such as PRISM or MRMC. lternatively...
  • AdequacyModel

  • Referenced in 10 articles [sw15282]
  • package AdequacyModel: Adequacy of Probabilistic Models and General Purpose Optimization. The main application concerns ... assessment of the adequacy of probabilistic models through a combination of several statistics, which measure...