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

weakest preconditionquantitative information flowdata refinementabstract datatypesprobabilistic nondeterminismprobabilistic predicatesforward and backward simulations

Mathematics Subject Classification ID

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

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)