Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS
supports efficient symbolic techniques for the verification of multi-agent systems against …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii
and study its model-checking problem. As this logic naturally captures multi-player games …

Abstract Model checking has come of age. A number of techniques are increasingly used in
industrial setting to verify hardware and software systems, both against models and concrete …

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

The papers presents the current stage of the development of VerICS-a model checker for
real-time and multi-agent systems. Depending on the type of a system considered, it enables …

Intelligent applications are highly susceptible to uncertainty and inconsistency due to the
intense and intricate interactions among their autonomous components (or agents), making …