Dimitrova, R. and Finkbeiner, B. (2013) Lossy channel games under incomplete information. In: Mogavero, F., Murano , A. and Vardi, M.Y., (eds.) Proceedings 1st International Workshop on Strategic Reasoning. 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science (EPTCS) (112). Open Publishing Association , pp. 43-51.
Abstract
In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a system component under consideration operates under incomplete information, while the other player, representing the component's environment is allowed to lose messages from the channels. We argue that these games are a suitable model for synthesis of communication protocols where processes communicate over unreliable channels. We show that in the case of finite message alphabets, games with safety and reachability winning conditions are decidable and finite-state observation-based strategies for the component can be effectively computed. Undecidability for (weak) parity objectives follows from the undecidability of (weak) parity perfect information games where only one player can lose messages.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 2013 The Author(s). |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 11 Feb 2020 14:13 |
Last Modified: | 12 Feb 2020 05:51 |
Published Version: | https://arxiv.org/html/1303.0071 |
Status: | Published online |
Publisher: | Open Publishing Association |
Series Name: | Electronic Proceedings in Theoretical Computer Science (EPTCS) |
Refereed: | Yes |
Identification Number: | 10.4204/eptcs.112.9 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:156438 |