@inproceedings{52b654f5e3384bd0ad2a16462f2c276e,
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",
year = "2012",
month = aug,
day = "20",
doi = "10.1007/978-3-642-32589-2_59",
language = "English",
isbn = "9783642325885",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "681--692",
editor = "B. Rovan and V. Sassone and P. Widmayer",
booktitle = "Mathematical Foundations of Computer Science 2012. MFCS 2012.",
note = "37th International Symposium on Mathematical Foundations of Computer Science 2012, MFCS 2012 ; Conference date: 27-08-2012 Through 31-08-2012",
}