We investigate the verification of Multi-Agent Systems against strategic properties expressed
in Alternating-time Temporal Logic under the assumptions of imperfect information and …

Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Page 1 STV+Reductions: Towards Practical Verification of Strategic Ability Using Model …

We propose a general semantics for strategic abilities of agents in asynchronous systems,
with and without perfect information. Based on the semantics, we show some general …

We study the problem of verifying role-based multi-agent systems, where the number of
components cannot be determined at design time. We give a semantics that captures …

Formal verification of multi-agent systems is hard, both theoretically and in practice. In
particular, studies that use a single verification technique typically show limited efficiency …

Given the increasing calls for AI to be trustworthy and explainable there has been growing
attention to issues of safety and reliability in the context of AI systems. Indeed, over the past …

The GSM framework provides a methodology for the development of artifact-centric systems,
an increasingly popular paradigm in service-oriented computing. In this paper we tackle the …

Social commitments have been extensively and effectively used to represent and model
business contracts among autonomous agents having competing objectives in a variety of …

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study,
there are still challenges when many different aspects need to be considered …