Probabilistic bisimulation - PDFSEARCH.IO - Document Search Engine

Probabilistic bisimulation
Results: 8

#	Item
1	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English Theoretical computer science Markov processes Model checkers Markov models Probabilistic bisimulation Markov chain Bisimulation Splay tree Algorithm PRISM model checker Markov decision process Probabilistic CTL
2	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 Source URL: people.cs.aau.dk Language: English - Date: 2014-06-10 09:27:45 Markov models Mathematics Probabilistic bisimulation Markov chain Bisimulation Mathematical sciences Markov Theoretical computer science Applied mathematics Markov processes
3	BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:52:23 Markov processes Mathematical sciences Markov models Probabilistic bisimulation Bisimulation Stochastic processes Markov chain Probability theory State transition system Statistics Theoretical computer science Applied mathematics
4	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics
5	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
6	Probabilistic bisimulation and equivalence for security analysis of network protocols A. Ramanathan? , J. Mitchell? , A. Scedrov ? ?? Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-10-17 16:57:14 Bisimulation Probabilistic bisimulation IP Theoretical computer science Applied mathematics Mathematics
7	Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2 Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 22:09:07 PP Ergodic theory Probabilistic bisimulation Probability and statistics Mathematical sciences Non-classical logic Markov models Applied mathematics Markov chain
8	Designing the Minimal Structure of Hidden Markov Model by Bisimulation Manuele Bicego, Agostino Dovier, and Vittorio Murino Dip. di Informatica, Univ. di Verona Strada Le Grazie 15, 37134 Verona, Italy {bicego,dovier,mur Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2011-10-29 17:44:24 Mathematics Logic in computer science Computer science Bioinformatics Hidden Markov model Probabilistic bisimulation Bisimulation Speech recognition Markov chain Theoretical computer science Markov models Applied mathematics