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
[Conference or Workshop Item]
|
PDF
- Draft pre-submission version (with author's formatting)
Available under License Creative Commons Attribution 4.0. 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: | 30 Nov 2022 00:14 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/15130 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)