EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

15881 Computing Weakest Strategies for Safety Games of Imperfect Information

Home Policy Brochure Browse Search User Area Contact Help

Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5

Full text available as:

	PDF (Publisher's version) - Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 395 Kb
	PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 177 Kb

Official URL: http://dx.doi.org/10.1007/978-3-642-00768-2_10

Abstract

CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes a fixed point over the lattice of contravariant antichains. Here contravariant antichains are antichains over pairs consisting of an information set and an allow set representing the associated move. We demonstrate how the richer structure of contravariant antichains for representing antitone functions, as opposed to standard antichains for representing sets of downward closed sets, allows CEDAR to apply a significantly less complex controllable predecessor step than previous algorithms.

Item Type:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-DSN: Dependable Systems and Networks
Research Project:	MOCA: Modeling Control Aspects of Embedded Systems
Uncontrolled Keywords:	controller synthesis, safety games, imperfect information
ID Code:	15881
Status:	Published
Deposited On:	01 September 2009
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item