@inproceedings{dba43e6aff4c444ab2d76bda455b14bb,
title = "Taking it to the limit: approximate reasoning for Markov processes",
abstract = "We develop a fusion of logical and metrical principles for reasoning about Markov processes. More precisely, we lift metrics from processes to sets of processes satisfying a formula and explore how the satisfaction relation behaves as sequences of processes and sequences of formulas approach limits. A key new concept is dynamically-continuous metric bisimulation which is a property of (pseudo)metrics. We prove theorems about satisfaction in the limit, robustness theorems as well as giving a topological characterization of various classes of formulas. This work is aimed at providing approximate reasoning principles for Markov processes.",
keywords = "Markov process, convergent sequence, logical formula, approximate reasoning, Markov kernel",
author = "Larsen, \{Kim Guldstrand\} and Radu Mardare and Prakash Panangaden and B. Rovan and V. Sassone and P. Widmayer",
note = "37th International Symposium on Mathematical Foundations of Computer Science 2012, MFCS 2012",
year = "2012",
doi = "10.1007/978-3-642-32589-2\_59",
language = "English",
isbn = "978-3-642-32588-5",
volume = "7464",
series = "Lecture Notes in Computer Science",
pages = "681{\textendash}692",
editor = "B. Rovan and V. Sassone and P. Widmayer",
booktitle = "Mathematical Foundations of Computer Science 2012. MFCS 2012",
}