Reasoning about strategies under partial observability and fairness constraints

Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2013) Reasoning about strategies under partial observability and fairness constraints. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy.

[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: 13 Oct 2016 14:33
URI: http://eprints.mdx.ac.uk/id/eprint/15130

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year