Logo del repository
  1. Home
 
Opzioni

Linear distances between Markov chains

Daca P.
•
Henzinger T. A.
•
Kretinsky J.
•
Petrov T.
2016
  • conference object

Abstract
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.
DOI
10.4230/LIPIcs.CONCUR.2016.20
Archivio
https://hdl.handle.net/11368/3070442
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85012898478
Diritti
metadata only access
Soggetti
  • Behavioural equivalen...

  • Probabilistic system

  • Statistical model che...

  • Temporal logic

  • Verification

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback