On probabilistic alternating simulations

DOI10.1007/978-3-642-15240-5_6MaRDI QIDQ3163874zbMATH OpenOpenAlexFDO

Authors Chenyi Zhang, Jun Pang

Publication date 27 October 2010

Published in IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15240-5_6

zbMATH Keywords

probabilistic alternating simulationprobabilistic game structures

Mathematics Subject Classification ID

Probabilistic games; gambling (91A60)

Recommendations

• An algorithm for probabilistic alternating simulation
• scientific article; zbMATH DE number 794262
• Bisimulation and Simulation Relations for Markov Chains
• Simulation and Bisimulation for Probabilistic Timed Automata
• Simulation Relations for Alternating Parity Automata and Parity Games

Cited in

(8)

• Verification and control for probabilistic hybrid automata with finite bisimulations
• Partially effective randomization in simulations between ARBITRARY and COMMON PRAMs
• Automatic verification of competitive stochastic systems
• An algorithm for probabilistic alternating simulation
• Refusal simulation and interactive games
• Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Verification of general Markov decision processes by approximate similarity relations and policy refinement

This page was built for publication: On probabilistic alternating simulations

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