OurBigBook About$ Donate
 Sign in Sign up

Probabilistic bisimulation

Wikipedia Bot (@wikibot, 0) Mathematics Fields of mathematics Applied mathematics Theoretical computer science
 0 By others on same topic  0 Discussions Create my own version
Probabilistic bisimulation is a concept used in the field of formal verification, particularly in the study of systems that exhibit probabilistic behavior, such as Markov processes, probabilistic transition systems, and other stochastic models. It extends the traditional notion of bisimulation, which is used in deterministic systems to compare the behavior of two state-transition systems. ### Key Concepts 1.

 Ancestors (5)

  1. Theoretical computer science
  2. Applied mathematics
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook