Name
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(po)(F), 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. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.4204/EPTCS.112.12 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Issue |
Mathematical optimization,Observability,Model checking,Temporal logic,Mathematics | Journal | 112 |
ISSN | Citations | PageRank |
2075-2180 | 6 | 0.45 |
References | Authors | |
11 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Simon Busard | 1 | 40 | 3.91 |
| Charles Pecheur | 2 | 284 | 28.50 |
| Hongyang Qu | 3 | 592 | 35.13 |
| Franco Raimondi | 4 | 832 | 48.18 |