Detailed Information on Publication Record
2016
Linear Distances between Markov Chains
DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Tatjana PETROVBasic information
Original name
Linear Distances between Markov Chains
Authors
DACA, Przemyslaw (616 Poland), Thomas A. HENZINGER (40 Austria), Jan KŘETÍNSKÝ (203 Czech Republic, guarantor, belonging to the institution) and Tatjana PETROV (688 Serbia)
Edition
Schloss Dagstuhl, 27th International Conference on Concurrency Theory, CONCUR 2016, p. 1-15, 15 pp. 2016
Publisher
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
electronic version available online
RIV identification code
RIV/00216224:14330/16:00088470
Organization unit
Faculty of Informatics
ISBN
978-3-95977-017-0
ISSN
Keywords in English
verification; temporal logic; statistical model checking
Tags
Tags
International impact, Reviewed
Změněno: 27/4/2017 07:02, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the total variation distance or trace distance) as well as by temporal logics or automata. We investigate which of the distances can be approximated by observing the systems, i.e. by black-box testing or simulation, and we provide both negative and positive results.
Links
| GBP202/12/G061, research and development project |
|