
PRISM
 Referenced in 423 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed ... probabilistic systems. PRISM supports three probabilistic models: discretetime 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 540 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]
 rewritebased specification language for modelling probabilistic concurrent and distributed systems. The language, based ... support for performing discreteevent 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 firstorder 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]
 symbolicstatistical modeling language PRISM whose programs are not only a probabilistic extension of logic ... appropriate for probabilistic reasoning, it can describe various types of symbolicstatistical modeling formalism known ... with learning results, that most popular probabilistic modeling formalisms, the hidden Markov model and Bayesian...

PAT
 Referenced in 31 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...

PRISMgames
 Referenced in 18 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 20 articles
[sw34813]
 PILCO: A ModelBased and DataEfficient 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 logitlinear 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 Modelchecker and Analyzer for Probabilistic Systems. VESTA is a tool ... statistical analysis of probabilistic systems. It supports statistical modelchecking [6, 7] and statistical evaluation ... expected values of temporal expressions. For modelchecking VESTA uses a sequence of interrelated ... check if a property speciﬁed in probabilistic computation tree logic (PCTL) [3] or continuous stochastic...

PVeStA
 Referenced in 17 articles
[sw08423]
 tool. Statistical model checking is an attractive formal analysis method for probabilistic systems such ... probabilistic in nature. This paper is about drastically increasing the scalability of statistical model checking ... tool [10]. PVeStA supports statistical model checking of probabilistic realtime systems specified as either ... probabilistic rewrite theories in Maude. Furthermore, the properties that it can model check...

ProTDB
 Referenced in 20 articles
[sw13843]
 relational systems in that we build a probabilistic XML database. This design is driven ... relational representation. XML data poses several modeling challenges: due to its structure ... repeated subelements. We present a probabilistic XML model that addresses all of these challenges ... query operations using our probability model, and demonstrate the efficiency of our implementation experimentally...