• PRISM

  • Referenced in 396 articles [sw01186]
  • Birmingham for the analysis of probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov ... through model checking such systems against specifications written in the probabilistic temporal logics PCTL ... analyse probabilistic termination, performance, and quality of service properties for a range of systems, including...
  • PMaude

  • Referenced in 29 articles [sw08422]
  • PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. We introduce a rewrite-based specification ... language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both ... module aids writing specifications in a probabilistic actor formalism. This allows us to easily write ... quantified) non-determinism in a probabilistic system is necessary for a form of statistical analysis...
  • APMC

  • Referenced in 27 articles [sw11483]
  • extended recently to the verification of probabilistic systems. However, the representation of the transition matrix ... expensive for very large systems and may induce a prohibitive cost for the model checking ... satisfied with high confidence by a probabilistic system. Our randomized algorithm requires only a succinct...
  • VESTA

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

  • Referenced in 32 articles [sw04605]
  • apply CEGAR to the verification of probabilistic systems, various foundational questions arise. This paper explores...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • ProbView: a flexible probabilistic database system. Probability theory is mathematically the best understood paradigm ... among the events involved. Previous work on probabilistic databases has assumed a fixed and restrictivecombination ... ideas, we have developed a prototype probabilistic database system called ProbView on top of Dbase...
  • PVeStA

  • Referenced in 16 articles [sw08423]
  • attractive formal analysis method for probabilistic systems such as, for example, cyber-physical systems which ... available to tools like Maude, where probabilistic systems can be specified at a high level ... supports statistical model checking of probabilistic real-time systems specified as either: (i) discrete...
  • ProTDB

  • Referenced in 20 articles [sw13843]
  • differs from previous efforts to develop probabilistic relational systems in that we build a probabilistic ... repeated sub-elements. We present a probabilistic XML model that addresses all of these challenges ... using a natural language analysis system. We present a brief case study of the latter ... demonstrate the value of probabilistic XML data management...
  • PRISM-games

  • Referenced in 13 articles [sw12934]
  • automated verification and strategy synthesis for probabilistic systems with competitive or cooperative behaviour. Models...
  • Zoo Probabilistic Systems

  • Referenced in 7 articles [sw28541]
  • Isabelle Zoo of Probabilistic Systems: Numerous models of probabilistic systems are studied in the literature ... formalize the resulting hierarchy of probabilistic system types by modeling the semantics of the different...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • environment for the logic and probabilistic analysis of complex systems. Smart can combine different formalisms...
  • MayBMS

  • Referenced in 11 articles [sw20068]
  • MayBMS: A probabilistic database management system. MayBMS is a state-of-the-art probabilistic database...
  • gRain

  • Referenced in 11 articles [sw08268]
  • graphical independence networks, also known as probabilistic expert systems or Bayesian networks...
  • MCINTYRE

  • Referenced in 8 articles [sw22925]
  • MCINTYRE: a Monte Carlo system for probabilistic logic programming. Probabilistic Logic Programming is receiving ... normal program sampled from the probabilistic program. The ProbLog system includes such an algorithm ... program transformation that translates a probabilistic program into a normal program to which the query ... Prolog engine. The resulting system, called MCINTYRE for Monte Carlo INference wiTh Yap REcord...
  • SPOOK

  • Referenced in 11 articles [sw12539]
  • SPOOK: A system for probabilistic object-oriented knowledge representation. In previous work, we pointed ... this paper, we present SPOOK, an implemented system that addresses these limitations. SPOOK implements...
  • SReach

  • Referenced in 4 articles [sw20158]
  • SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. In this paper ... solves probabilistic bounded reachability problems for two classes of models of stochastic hybrid systems ... with parametric uncertainty. The second one is probabilistic hybrid automata with additional randomness for both ... nonlinear hybrid systems with multiple probabilistic system parameters...
  • RACT

  • Referenced in 20 articles [sw06924]
  • Matlab toolbox for probabilistic analysis and synthesis of control systems affected by various uncertainty structures...
  • Expokit

  • Referenced in 170 articles [sw00258]
  • operand vector, or the solution of a system of linear ordinary differential equations with constant ... furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • history of user selections contributes to the system’s estimate of the user’s goal ... PicHunter uses Bayesian learning based on a probabilistic model of a user’s behavior ... algorithm can easily be incorporated into systems which support complex queries, including most previously proposed...