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

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2020.103302

View full text

>> Full Text: Verification of multi-agent systems with public actions against strategy logic

Complexity of abstract argumentation under a claim-centric view

Special issue on autonomous agents modelling other agents: Guest editorial