Reasoning about strategies under partial observability and fairness constraints

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2013) Reasoning about strategies under partial observability and fairness constraints. Electronic Proceedings in Theoretical Computer Science, 112: Proceedings 1st International Workshop on Strategic Reasoning Rome, Italy, March 16-17, 2013. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. . ISSN 2075-2180

[img]
Preview
PDF - Draft pre-submission version (with author's formatting)
Available under License Creative Commons Attribution.

Download (170kB) | Preview

Abstract

A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constraints. In this paper we propose AT LK^F_po, a logic mixing strategies under partial observability and epistemic properties of agents in a system with fairness constraints on states, and we provide a model checking algorithm for it

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 15130
Useful Links:
Depositing User: Franco Raimondi
Date Deposited: 23 Apr 2015 08:09
Last Modified: 04 Apr 2019 05:14
URI: https://eprints.mdx.ac.uk/id/eprint/15130

Actions (login required)

Edit Item Edit Item