Verification of multi-agent systems with public actions against strategy logic

, , &
Artificial Intelligence 285 (C):103302 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103302

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,676

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Parameterised verification for multi-agent systems.Panagiotis Kouvaros & Alessio Lomuscio - 2016 - Artificial Intelligence 234 (C):152-189.
Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.
Economic principles of multi-agent systems.Craig Boutilier, Yoav Shoham & Michael P. Wellman - 1997 - Artificial Intelligence 94 (1-2):1-6.
Agent Factory: An Environment for the Fabrication of Multi-Agent Systems.O. Gmp - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley.
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.
Online planning for multi-agent systems with bounded communication.Feng Wu, Shlomo Zilberstein & Xiaoping Chen - 2011 - Artificial Intelligence 175 (2):487-511.
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach.Avraham Natan, Meir Kalech & Roman Barták - 2023 - Artificial Intelligence 324 (C):103994.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Multi-Agent Systems and Applications, volume 2086 of.Sarit Kraus - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer. pp. 150--172.
Choosing social laws for multi-agent systems: Minimality and simplicity.David Fitoussi & Moshe Tennenholtz - 2000 - Artificial Intelligence 119 (1-2):61-101.

Analytics

Added to PP
2020-12-22

Downloads
19 (#1,070,021)

6 months
7 (#693,398)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.

Add more references