@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",

}