Model-checking for resource-bounded ATL with production and
consumption of resources

QR Code

Model-checking for resource-bounded ATL with production and consumption of resources

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the m...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco
Format:	Article
Published:	Elsevier 2017
Subjects:	model-checking resources coalitional ability verification of multi-agent systems
Online Access:	https://eprints.nottingham.ac.uk/37147/

Similar Items

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

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

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

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

Reasoning about resource-bounded multi-agent systems
by: Nguyen, Nguyen
Published: (2011)

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

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

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

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

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Enhanced Verification-Based Decoding for Packet-Based LDPC Codes
by: Zhu, B., et al.
Published: (2008)

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

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

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

Employer attitudes towards general health checks and HIV testing in the workplace
by: Blake, Holly, et al.
Published: (2018)

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

A model of protocoalition bargaining with breakdown probability
by: Montero, Maria
Published: (2015)

NHS health checks: a cross- sectional observational study on equity of uptake and outcomes
by: Coghill, Nikki, et al.
Published: (2018)

Finite element implementation of Koiter's initial post-buckling analysis
by: Yan, Jiayi
Published: (2019)

Models of multi-agent decision making
by: Zappala, Julian
Published: (2014)

Fully coupled elasto-plastic computational framework for fluid pressurised crack evolution in porous media
by: Hardcastle, Alex
Published: (2021)

Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)

Onto-ontology methodology for design of ontology-based multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

Falling for fake news: investigating the consumption of news via social media
by: Flintham, Martin, et al.
Published: (2018)

Creating a rainbow: ideas and coalition building on the American left, c. 1973-1988
by: Riggs, Alex
Published: (2024)

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

Use and modeling of multi-agent systems in medicine
by: Hadzic, Maja, et al.
Published: (2009)

Forged cheques: duties of paying and collecting banks / Abd. Malek Ahmad
by: Ahmad, Abd. Malek
Published: (1985)

Feasibility analysis of drill bit tracking using seismic while drilling technique
by: Sun, Baichun, et al.
Published: (2012)

Lightweight verification and fine-grained access control in named data networking based on schnorr signature and hash functions
by: Wu, Shanglun, et al.
Published: (2021)

In-the-loop or on-the-loop? Interactional arrangements to support team coordination with a planning agent
by: Fischer, Joel E., et al.
Published: (2017)

Tight bound on parameter of surplus-based averaging algorithm over balanced digraphs
by: Kawamura, S., et al.
Published: (2020)

An Efficient Method for Generating Optimal OBDD of Boolean Functions
by: Singh, Ashutosh, et al.
Published: (2008)

Hardware-based text-to-braille translator
by: Zhang, Xuan, et al.
Published: (2006)

A logistic regression approach to compare the priority banking in CIMB preferred: A case study in Kuala Lumpur, Malaysia / Siti Nur Amirah Ab Aziz
by: Ab Aziz, Siti Nur Amirah
Published: (2015)

Recognition of the cursive handwritten courtesy amounts of Malaysian bank cheques.
by: Sulaiman, Md. Nasir, et al.
Published: (2001)

TICSA approach: five important aspects of multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

Multi-agent stochastic simulation of occupants in buildings
by: Chapman, Jacob
Published: (2017)

Dynamic skin: Interacting with space: An inter-media interface between people and space
by: Chang, T., et al.
Published: (2012)

Programming deliberation strategies in meta-APL
by: Leask, Sam, et al.
Published: (2015)