Best probabilistic transformers

DOI10.1007/978-3-642-11319-2_26MaRDI QIDQ3656896zbMATH OpenOpenAlexFDO

Authors Björn Wachter, Lijun Zhang

Publication date 14 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11319-2_26

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Variable probabilistic abstraction refinement
• scientific article; zbMATH DE number 1884411
• An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
• Probabilistic abstract interpretation
• On Abstraction of Probabilistic Systems

Cited in

(8)

• Out of control: reducing probabilistic models by control-state elimination
• Local abstraction refinement for probabilistic timed programs
• On Abstraction of Probabilistic Systems
• Variable probabilistic abstraction refinement
• An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
• Verification, Model Checking, and Abstract Interpretation
• A game-based abstraction-refinement framework for Markov decision processes
• MeGARA: menu-based game abstraction and abstraction refinement of Markov automata

This page was built for publication: Best probabilistic transformers

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