Abstract : This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called probabilistic alternating forward simulation, following the naming convention of Segala and Lynch. We study these relations with respect to the preservation of properties specified in probabilistic alternating-time temporal logic.
Type de document :
Communication dans un congrès
Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.71-85, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_6〉
https://hal.inria.fr/hal-01054443
Contributeur : Hal Ifip
<>
Soumis le : mercredi 6 août 2014 - 16:24:42
Dernière modification le : lundi 15 janvier 2018 - 12:20:02
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 00:56:04
Chenyi Zhang, Jun Pang. On Probabilistic Alternating Simulations. Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.71-85, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_6〉. 〈hal-01054443〉
