LABELLED MARKOV PROCESSES
| By: | Panangaden Prakash |
| Publisher: | World Scientific Publishing |
| Print ISBN: | 9781848162877 |
| eText ISBN: | 9781848162891 |
| Edition: | 0 |
| Format: | Page Fidelity |
Lifetime - $45.60
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.