Forward and backward simulations for partially observable probability

DOI10.1007/978-3-032-11176-0_17MaRDI QIDQ6840989zbMATH OpenFDO

Authors Chris Chen, Annabelle McIver, Carroll Morgan

Publication date 20 March 2026

Full work available at URL https://doi.org/10.1007/978-3-032-11176-0_17

zbMATH Keywords

abstract datatypesdata refinementforward and backward simulationsprobabilistic nondeterminismprobabilistic predicatesquantitative information flowweakest precondition

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Markov and semi-Markov decision processes (90C40)

Cited in

(1)

• Probabilistic predicate transformers. II: Partially observable probability

This page was built for publication: Forward and backward simulations for partially observable probability

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