On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl - Probabilistic bisimulation - Document - PDFSEARCH.IO

First Page	Meta Content
	On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl Add to Reading List Document Date: 2014-06-10 09:27:45 Open Document File Size: 337,43 KB Share Result on Facebook City Dagstuhl / / Company Motivations Probabilistic Systems / / Country Germany / / IndustryTerm probabilistic systems / / Organization Aalborg University / / Person Kim G. Larsen / Giovanni Bacci / / SocialTag Markov models Mathematics Probabilistic bisimulation Markov chain Bisimulation Mathematical sciences Markov Theoretical computer science Applied mathematics Markov processes

On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New ApplAdd to Reading List