Labelled markov processes
Auteur :
Panangaden, Prakash
Éditeur :
Imperial College Press
ISBN :
9781848162877
Date de publication :
30 juin 2009
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. This book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs. It covers topics such as: bisimulation, logical characterization of bisimulation, metrics and approximation theory.