Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Probabilistic_bisimulation> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Probabilistic_bisimulation abstract "In theoretical computer science, probabilistic bisimulation is an extension of the concept of bisimulation for fully probabilistic transition systems first described by K.G. Larsen and A. Skou.A discrete probabilistic transition system is a triple where gives the probability of starting in the state s, performing the action a and ending up in the state t. The set of states is assumed to be countable. There is no attempt to assign probabilities to actions. It is assumed that the actions are chosen nondeterministically by an adversary or by the environment. This type of system is fully probabilistic, there is no other indeterminacy. The definition of a probabilistic bisimulation on a system S is an equivalence relation R on the state space St, such that for every pair s,t in St with sRt and for every action a in Act and for every equivalence class C of R Two states are said to be probabilistically bisimilar if there is some such R relating them.When applied to Markov chains, probabilistic bisimulation is the same concept as lumpability.".
- Probabilistic_bisimulation wikiPageID "11737468".
- Probabilistic_bisimulation wikiPageRevisionID "594908590".
- Probabilistic_bisimulation hasPhotoCollection Probabilistic_bisimulation.
- Probabilistic_bisimulation subject Category:Theoretical_computer_science.
- Probabilistic_bisimulation comment "In theoretical computer science, probabilistic bisimulation is an extension of the concept of bisimulation for fully probabilistic transition systems first described by K.G. Larsen and A. Skou.A discrete probabilistic transition system is a triple where gives the probability of starting in the state s, performing the action a and ending up in the state t. The set of states is assumed to be countable. There is no attempt to assign probabilities to actions.".
- Probabilistic_bisimulation label "Probabilistic bisimulation".
- Probabilistic_bisimulation sameAs m.02rqnwg.
- Probabilistic_bisimulation sameAs Q7246850.
- Probabilistic_bisimulation sameAs Q7246850.
- Probabilistic_bisimulation wasDerivedFrom Probabilistic_bisimulation?oldid=594908590.
- Probabilistic_bisimulation isPrimaryTopicOf Probabilistic_bisimulation.