On Probabilistic Alternating Simulations

DOI10.1007/978-3-642-15240-5_6zbMath1202.68464OpenAlexW1689221763MaRDI QIDQ3163874

Jun Pang, Chenyi Zhang

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)

Related Items (4)

An Algorithm for Probabilistic Alternating Simulation ⋮ Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ Automatic verification of competitive stochastic systems

This page was built for publication: On Probabilistic Alternating Simulations