Verifying systems of resource-bounded agents

QR Code

Verifying systems of resource-bounded agents

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We bri...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Logan, Brian
Format:	Article
Published:	Springer Verlag 2016
Online Access:	https://eprints.nottingham.ac.uk/34430/

Similar Items

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

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

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

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

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)

Practical run-time norm enforcement with bounded lookahead
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)

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

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

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

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

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

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

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

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

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

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

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

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)

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

Incentivising monitoring in open normative systems
by: Alechina, Natasha, et al.
Published: (2017)

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)

Modelling and verifying dynamic access control policies in workflow-based healthcare systems
by: Faruqui, Rokan Uddin
Published: (2020)

Integrating BDI agents with Agent-based simulation platforms
by: Singh, Dhirendra, et al.
Published: (2016)

Integrating BDI agents with agent-based simulation platforms
by: Singh, Dhirendra, et al.
Published: (2017)

Bounded Coordination Control of Second-order Dynamic Agents
by: Do, Khac Duc
Published: (2013)

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)