Reasoning about Strategies under Partial Observability and Fairness Constraints
Logic in Computer Science
2013-03-05 v1 Multiagent Systems
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 ATLK^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.
Cite
@article{arxiv.1303.0793,
title = {Reasoning about Strategies under Partial Observability and Fairness Constraints},
author = {Simon Busard and Charles Pecheur and Hongyang Qu and Franco Raimondi},
journal= {arXiv preprint arXiv:1303.0793},
year = {2013}
}
Comments
In Proceedings SR 2013, arXiv:1303.0071