Approximating Markov Processes by Averaging

DOI10.1007/978-3-642-02930-1_11MaRDI QIDQ5902151zbMATH OpenOpenAlexFDO

Authors Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin

Publication date 14 July 2009

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/17909857/Chaput_Danos_ET_AL_2009_Approximating_Markov_Processes_by_Averaging.pdf

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Approximating Markov processes by averaging
• Approximating labelled Markov processes again!
• Approximating labelled Markov processes
• Approximating Markov processes through filtration
• Labelled Markov processes: stronger and faster approximations

Cited in

(18)

• Approximating labelled Markov processes
• Analysis of averages over distributions of Markov processes
• A categorical characterization of relative entropy on standard Borel spaces
• Approximating bisimilarity for Markov processes
• A metrized duality theorem for Markov processes
• Approximating labelled Markov processes again!
• Taking it to the limit: approximate reasoning for Markov processes
• Averaging for a Fully Coupled Piecewise-Deterministic Markov Process in Infinite Dimensions
• Measurable stochastics for Brane calculus
• Approximating Markov processes through filtration
• Anatomy of a domain of continuous random variables. II
• Towards a categorical account of conditional probability
• A logical duality for underspecified probabilistic systems
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Bisimulation for Markov decision processes through families of functional expressions
• Approximating Markov processes by averaging
• A categorical characterization of relative entropy on standard Borel spaces
• Averaging along a Markov chain

This page was built for publication: Approximating Markov Processes by Averaging

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5902151)