Simulation of program execution using popular Markov chains

MaRDI QIDQ760816zbMATH OpenFDO

Authors Antal Iványi

Publication date 1984

Published in Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Efficient simultaneous simulation of Markov chains
• scientific article; zbMATH DE number 1927572
• Bisimulation and Simulation Relations for Markov Chains
• Efficient simulation of Markov chains using segmentation
• Fast simulation of Markov chains with small transition probabilities
• scientific article; zbMATH DE number 6401121
• scientific article; zbMATH DE number 1538048
• Abstract interpretation of programs as Markov decision processes

This page was built for publication: Simulation of program execution using popular Markov chains

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