An algebraic theory of Markov processes

DOI10.1145/3209108.3209177MaRDI QIDQ5145344zbMATH OpenOpenAlexFDO

Authors Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Publication date 20 January 2021

Published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://vbn.aau.dk/da/publications/31664965-faa2-49b6-8642-8e9ce7ff052e

zbMATH Keywords

combining monadsequational logicMarkov processesquantitative reasoning

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Stone duality for Markov processes
• scientific article; zbMATH DE number 1786475
• Labelled Markov processes.
• The compositional construction of Markov processes. II
• Approximating Markov processes by averaging

Cited in

(25)

• Algebraic criteria for extended product form in generalised semi-Markov processes
• Long-term values in Markov decision processes, (co)algebraically
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Operator algebras and the operational semantics of probabilistic languages
• The compositional construction of Markov processes. II
• scientific article; zbMATH DE number 4143960 (Why is no real title available?)
• scientific article; zbMATH DE number 4052248 (Why is no real title available?)
• scientific article; zbMATH DE number 18325 (Why is no real title available?)
• An algebraic analysis of the two state Markov model on tripod trees
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• A generalisation of stationary distributions, and probabilistic program algebra
• The beta-Bernoulli process and algebraic effects
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Stone duality for Markov processes
• Uniformization Stable Markov Models and Their Jordan Algebraic Structure
• Sum and tensor of quantitative effects
• Logical foundations of quantitative equality
• Beyond nonexpansive operations in quantitative algebraic reasoning
• A complete quantitative axiomatisation of behavioural distance of regular expressions
• Quantitative equality in substructural logic via Lipschitz doctrines
• Solving quantitative equations
• Universal quantitative algebra for fuzzy relations and generalised metric spaces
• Quantitative monoidal algebra: axiomatising distance with string diagrams
• Compact quantitative theories of convex algebras
• -congruence for Markov processes

This page was built for publication: An algebraic theory of Markov processes

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