Verifying heterogeneous multi-agent programs

QR Code

Verifying heterogeneous multi-agent programs

We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming language that allows both an agent’s plans and it...

Full description

Bibliographic Details
Main Authors:	Doan, Thu Trang, Yuan, Yao, Alechina, Natasha, Logan, Brian
Format:	Conference or Workshop Item
Published:	2014
Online Access:	https://eprints.nottingham.ac.uk/30182/

Similar Items

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

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

Meta-APL: a general language for agent programming
by: Doan, Thu Trang
Published: (2014)

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

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

Robust execution of BDI agent programs by exploiting synergies between intentions
by: Yao, Yuan, et al.
Published: (2016)

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

Action-level intention selection for BDI agents
by: Yao, Yuan, et al.
Published: (2016)

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

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

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

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

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

Programming agent deliberation using procedural reflection
by: Leask, Sam, et al.
Published: (2018)

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

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)

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

Multi-agent classifier system based on heterogeneous classifier
by: Nur Afiqah, Mohd Dali
Published: (2018)

Robust execution of belief-desire-intention-based agent programs
by: Yao, Yuan
Published: (2017)

UPM perkenal aplikasi certificate verifier
by: Utusan Malaysia
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)

Causality, responsibility and blame in team plans
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)

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

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

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

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

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

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

Consensus for heterogenous multi-agent systems with second-order linear and nonlinear dynamics
by: Shi, Y., et al.
Published: (2018)

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)

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

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

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)

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