D 2016

Linear Distances between Markov Chains

DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Tatjana PETROV

Základní údaje

Originální název

Linear Distances between Markov Chains

Autoři

DACA, Przemyslaw (616 Polsko), Thomas A. HENZINGER (40 Rakousko), Jan KŘETÍNSKÝ (203 Česká republika, garant, domácí) a Tatjana PETROV (688 Srbsko)

Vydání

Schloss Dagstuhl, 27th International Conference on Concurrency Theory, CONCUR 2016, od s. 1-15, 15 s. 2016

Nakladatel

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Kód RIV

RIV/00216224:14330/16:00088470

Organizační jednotka

Fakulta informatiky

ISBN

978-3-95977-017-0

ISSN

DOI

Klíčová slova anglicky

verification; temporal logic; statistical model checking

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 27. 4. 2017 07:02, RNDr. Pavel Šmerk, Ph.D.

Anotace

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.

Návaznosti

GBP202/12/G061, projekt VaV
Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky