Combining probabilistic and non-deterministic choice via weak distributive laws

DOI10.1145/3373718.3394795MaRDI QIDQ5145654zbMATH OpenOpenAlexFDO

Authors Alexandre Goy, Daniela Petrişan

Publication date 21 January 2021

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

Full work available at URL https://doi.org/10.1145/3373718.3394795

zbMATH Keywords

probabilistic automataprobabilitynon-determinismbehavioral equivalenceweak distributive lawtrace semanticsweak liftingconvex powerset monadfinite distribution monad

Mathematics Subject Classification ID

Probability theory on algebraic and topological structures (60B99) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Distributing probability over non-determinism
• Layer by layer -- combining monads
• Semantic domains for combining probability and non-determinism
• scientific article; zbMATH DE number 1759622
• A trustful monad for axiomatic reasoning with probability and nondeterminism

Cited in

(18)

• Algebraic presentation of semifree monads
• Combining semilattices and semimodules
• Convex language semantics for nondeterministic probabilistic automata
• No go theorems: directed containers that do not distribute over distribution monads
• Weakest preconditions in fibrations
• Multisets and distributions
• Weakening and iterating laws using string diagrams
• Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Sum and tensor of quantitative effects
• Preservation and reflection of bisimilarity via invertible steps
• Infinite choice and probability distributions. An open problem: the real hotel
• Monads for measurable queries in probabilistic databases
• Semialgebras and weak distributive laws
• Convexity via Weak Distributive Laws
• Correspondence between composite theories and distributive laws
• A categorical treatment of open linear systems
• Monads and Quantitative Equational Theories for Nondeterminism and Probability

This page was built for publication: Combining probabilistic and non-deterministic choice via weak distributive laws

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