Lossy Channel Games under Incomplete Information

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 comp...

Full description

Bibliographic Details
Main Authors: Rayna Dimitrova, Bernd Finkbeiner
Format: Article
Language:English
Published: Open Publishing Association 2013-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1303.0790v1