Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: A survey

A Abate

Research output: Contribution to journalArticleScientificpeer-review

30 Citations (Scopus)
Original languageEnglish
Pages (from-to)3-25
JournalElectronic Notes in Theoretical Computer Science
Volume297
DOIs
Publication statusPublished - 2013

Bibliographical note

NEO

Cite this