Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance
S. Esmaeil Zadeh Soudjani and A. Abate
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
Editor
Άbrahám‚ Erika and Havelund‚ Klaus
ISBN
978−3−642−54861−1
Language
English
Pages
547−561
Publisher
Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science
Volume
8413
Year
2014