Precise approximations of the probability distribution of a Markov process in time: An application to probabilistic invariance

S Esmaeil Zadeh Soudjani, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

10 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
EditorsE Abraham, K Havelund
Place of PublicationDordrecht, The Netherlands
PublisherSpringer
Pages547-561
Number of pages15
ISBN (Print)978-364254861-1
DOIs
Publication statusPublished - 2014
EventTACAS 2014, Grenoble, France - Dordrecht, The Netherlands
Duration: 5 Apr 201413 Apr 2014

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume8413
ISSN (Print)0302-9743

Conference

ConferenceTACAS 2014, Grenoble, France
Period5/04/1413/04/14

Keywords

  • Conf.proc. > 3 pag

Cite this