Comparing approaches for model-checking strategies under imperfect information and fairness constraints
Article
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2019. Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer. 21 (4), pp. 449-469. https://doi.org/10.1007/s10009-018-0505-6
Type | Article |
---|---|
Title | Comparing approaches for model-checking strategies under imperfect information and fairness constraints |
Authors | Busard, S., Pecheur, C., Qu, H. and Raimondi, F. |
Abstract | Starting from Alternating-time Temporal Logic, many logics for reasoning about strategies in a system of agents have been proposed. Some of them consider the strategies that agents can play when they have partial information about the state of the system. ATLKirF is such a logic to reason about uniform strategies under unconditional fairness constraints. While this kind of logics has been extensively studied, practical approaches for solving their model- checking problem appeared only recently. |
Publisher | Springer |
Journal | International Journal on Software Tools for Technology Transfer |
ISSN | 1433-2779 |
Publication dates | |
Online | 28 Sep 2018 |
01 Aug 2019 | |
Publication process dates | |
Deposited | 20 Nov 2018 |
Accepted | 21 Sep 2018 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | This is a post-peer-review, pre-copyedit version of an article published in International Journal on Software Tools for Technology Transfer. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10009-018-0505-6 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/s10009-018-0505-6 |
Language | English |
https://repository.mdx.ac.uk/item/88099
Download files
55
total views12
total downloads0
views this month0
downloads this month