The virtues of idleness: a decidable fragment of resource agent logic

QR Code

The virtues of idleness: a decidable fragment of resource agent logic

Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems. We consider Resource Agent Logic (RAL), which extends ATL to allow the verification of properties of systems where agents act under resource constraints. The model checking problem for RAL with unbounde...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Bulling, Nils, Logan, Brian, Nguyen, Hoang Nga
Format:	Article
Published:	Elsevier 2017
Online Access:	https://eprints.nottingham.ac.uk/39849/

Similar Items

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

On the complexity of resource-bounded logics
by: Alechina, N., et al.
Published: (2018)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
by: Alechina, Natasha, et al.
Published: (2018)

Qualitative spatial logics for buffered geometries
by: Du, Heshan, et al.
Published: (2016)

A logic for reasoning about knowledge of unawareness
by: Agotnes, Thomas, et al.
Published: (2014)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
by: Alechina, Natasha, et al.
Published: (2018)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

A logic of directions
by: Du, Heshan, et al.
Published: (2020)

An operational semantics for a fragment of PRS
by: de Silva, Lavindra, et al.
Published: (2018)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

A virtue that will stay on forever
Published: (2008)

An agent programming manifesto
by: Logan, Brian
Published: (2017)

After SPM: deciding the future
by: Sani, Rozana
Published: (2017)

Helping teenagers decide on their future
by: Ng, Alvin Lai Oon *
Published: (2022)

Ramadan in the garden of knowledge and virtue
by: Abdul Razak, Dzulkifli
Published: (2019)

On Erich Fromm’s Virtue Ethics
by: He, Yicheng, et al.
Published: (2023)

Causality, responsibility and blame in team plans
by: Alechina, Natasha, et al.
Published: (2017)

The idle resource items workload and implication on different weight balance rate in grid scheduling
by: Yahaya, Bakri, et al.
Published: (2013)

Future directions in agent programming
by: Logan, Brian
Published: (2017)

PID controller for idle speed control
by: Tuan Kamaruddin, Tengku Nordayana Akma, et al.
Published: (2013)

Varsities can decide on their own closure
Published: (2010)

Politics of dog food and moral virtues
by: Abd Razak, Dzulkifli
Published: (2008)

Fair decomposition of group obligations
by: Alechina, Natasha, et al.
Published: (2017)

Ecology and Evolutionary Adaptation in Anthropogenically Fragmented Habitat
by: Ha, Huy Hoang
Published: (2022)

The appropriate measures in developing IDLE waqf land
by: Syed Abdul Kader, Sharifah Zubaidah
Published: (2016)

"Not an idle spectator": Geoffrey Hill as model reviewer
by: Vincent, Bridget
Published: (2014)

The potential of waqf in activating idle agricultural land
by: Muhammad Hakimi Mohd Shafiai,, et al.
Published: (2015)