2011
DOI: 10.1016/j.entcs.2011.10.017
|View full text |Cite
|
Sign up to set email alerts
|

On a Logic for Coalitional Games with Priced-Resource Agents

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

1
24
0

Year Published

2013
2013
2024
2024

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 25 publications
(25 citation statements)
references
References 5 publications
1
24
0
Order By: Relevance
“…In [10] it has been shown that CL can be embedded into ATL. Recently, these two logics have been used for the verification of multi-agent systems (MAS), enhanced with resource constraints [1,2,5,6,9]. The intuitive idea is that agent actions consume and/or produce resources, thus the choice of a given action of an agent is subject to the availability of the resources.…”
Section: Introductionmentioning
confidence: 99%
See 3 more Smart Citations
“…In [10] it has been shown that CL can be embedded into ATL. Recently, these two logics have been used for the verification of multi-agent systems (MAS), enhanced with resource constraints [1,2,5,6,9]. The intuitive idea is that agent actions consume and/or produce resources, thus the choice of a given action of an agent is subject to the availability of the resources.…”
Section: Introductionmentioning
confidence: 99%
“…In this paper we study a different formalism, called Priced Resource-Bounded Alternating-time Temporal Logic (PRB-ATL), introduced in [9], but in a much less mature version. The key features of this new approach toward the formalization of such complex systems can be summarized as follows.…”
Section: Introductionmentioning
confidence: 99%
See 2 more Smart Citations
“…Other decidability results for bounded resource logics have also been reported in the literature. For example, [20] define a decidable logic, PRB-ATL (Priced Resource-Bounded ATL), where the total amount of resources in the system has a fixed bound. The model-checking algorithm for PRB-ATL requires time polynomial in the size of the model and exponential in the number of resource types and the resource bound on the system.…”
Section: Adding Productionmentioning
confidence: 99%