We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

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

Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

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 …

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

Computation tree logic of knowledge (CTLK) can be used to specify many properties related
to privacy of multiagent systems (MASs). Our previous work defined knowledge-oriented …

Planning domains represent what an agent assumes or believes about the environment it
acts in. In the presence of nondeterminism, additional temporal assumptions, such as …

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 introduce Probabilistic Strategy Logic, an extension of Strategy Logic for stochastic
systems. The logic has probabilistic terms that allow it to express many standard solution …

In logics for the strategic reasoning the main challenge is represented by their verification in
contexts of imperfect information and perfect recall. In this work, we show a technique to …