Verifying existence of resource-bounded coalition uniform strategies

QR Code

Verifying existence of resource-bounded coalition uniform strategies

We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resources, by adding epistemic pre- and postconditions to...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Dastani, Mehdi, Logan, Brian
Format:	Conference or Workshop Item
Published:	2016
Online Access:	https://eprints.nottingham.ac.uk/33113/

Similar Items

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

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

Verifying requirements for resource-bounded agents
by: Abdur, Rakib
Published: (2011)

On the complexity of resource-bounded logics
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)

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

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

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

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

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

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

Coalitional ZP-Equilibrium in games and its existence
by: Nessah, Rabia, et al.
Published: (2015)

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

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

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

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

Coalition announcements
by: Galimullin, Rustam
Published: (2019)

Verifying the authenticity of digital certificates
by: Kamel Ariffin, Muhammad Rezal
Published: (2021)

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

The virtual source method - verifying the concept using numerical and physical modelling
by: Saul, Matthew, et al.
Published: (2007)

The Advocacy Coalition Framework: A Study On Malaysian National Water Resources Policy
by: Ismail, Junaida
Published: (2020)

UPM perkenal aplikasi certificate verifier
by: Utusan Malaysia
Published: (2017)

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

To verify or not to verify: using partial least squares to predict effect of online news on panic buying during pandemic
by: Tan, Kim Lim, et al.
Published: (2022)

Koalisyon olacaksa! (if there will be a coalition!)
by: Kayadibi, Saim
Published: (2015)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Essays on strategic naivety and disclosure of verifiable information
by: Sheth, Jesal Dilip
Published: (2019)

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

Accessible bounds for general quantum resources
by: Bromley, Thomas R., et al.
Published: (2018)

Compiling concurrency correctly: verifying software transactional memory
by: Hu, Liyang
Published: (2013)

The necessity of laboratory analyses to verify the authenticity of halal products
by: Mustafa, Shuhaimi
Published: (2014)

A secure, anonymous and verifiable E-Voting system
by: Ooi, Elynn
Published: (2020)

Aggregation and Coalition Formation on Value Based Decision
by: Utomo, Christiono, et al.
Published: (2009)

Coalition politics among opposition parties in Malaysia
by: Hairi, Nur Atika, et al.
Published: (2017)

Heuristic methods for optimal coalition structure generation
by: Amir Hussin, Amir 'Aatieff, et al.
Published: (2017)

A Framework For Cohesive Healthcare Coalition Formation.
by: Cheah, Yu N, et al.
Published: (2006)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

In situ target strength estimates of visually verified orange roughy
by: Macaulay, G., et al.
Published: (2013)