- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Parameterised verification for multi-agent systems
Artificial Intelligence 234 (C):152-189 (2016)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Verification of multi-agent systems with public actions against strategy logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285 (C):103302.
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.
Online planning for multi-agent systems with bounded communication.Feng Wu, Shlomo Zilberstein & Xiaoping Chen - 2011 - Artificial Intelligence 175 (2):487-511.
Choosing social laws for multi-agent systems: Minimality and simplicity.David Fitoussi & Moshe Tennenholtz - 2000 - Artificial Intelligence 119 (1-2):61-101.
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.
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach.Avraham Natan, Meir Kalech & Roman Barták - 2023 - Artificial Intelligence 324 (C):103994.
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems.Søren Holbech Nielsen & Simon Parsons - 2007 - Artificial Intelligence 171 (10-15):754-775.
Quantified epistemic logics for reasoning about knowledge in multi-agent systems.F. Belardinelli & A. Lomuscio - 2009 - Artificial Intelligence 173 (9-10):982-1013.
Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.
Analytics
Added to PP
2020-12-22
Downloads
18 (#1,111,327)
6 months
7 (#704,497)
2020-12-22
Downloads
18 (#1,111,327)
6 months
7 (#704,497)
Historical graph of downloads
Citations of this work
The virtues of idleness: A decidable fragment of resource agent logic.Natasha Alechina, Nils Bulling, Brian Logan & Hoang Nga Nguyen - 2017 - Artificial Intelligence 245 (C):56-85.
Verification of agent navigation in partially-known environments.Benjamin Aminof, Aniello Murano, Sasha Rubin & Florian Zuleger - 2022 - Artificial Intelligence 308 (C):103724.
A counter abstraction technique for verifying properties of probabilistic swarm systems.Alessio Lomuscio & Edoardo Pirovano - 2022 - Artificial Intelligence 305 (C):103666.
References found in this work
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.Franco Raimondi & Alessio Lomuscio - 2007 - Journal of Applied Logic 5 (2):235-251.
Bounded model checking for knowledge and real time.Alessio Lomuscio, Wojciech Penczek & Bożena Woźna - 2007 - Artificial Intelligence 171 (16-17):1011-1038.
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-559df78dcc-ppxv8 uwo