Rewriting logic and its implementation Maude are an expressive framework for the formal
specification and verification of software and other kinds of systems. Concurrency is …

Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a
useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent …

Abstract Model checking multi-agent systems, in which agents are distributed and thus may
have different observations of the world, against strategic behaviours is known to be a …

Rewriting logic and its implementation Maude are a natural and expressive framework for
the specification of concurrent systems and logics. Its nondeterministic local transformations …

We propose an epistemic strategy logic with future and past time operators, called SLKP
SLKP, for Strategy Logic with Knowledge of the Past. With SLKP SLKP we can model …

Rewriting logic and its implementation Maude are a natural and expressive framework for
the specification of concurrent systems and logics. Its nondeterministic local transformations …

In this article we present theoretical results for an epistemic strategy logic with past
operators, PKSL. In PKSL, agents are able to choose their strategies depending on past …

We present a formal framework for solving what we call the “assignment problem”: given a
set of behavioral goals for a system and a set of agents described by their capabilities to …

Ces travaux concernent la modélisation formelle d'exigences et les interactions entre
agents. Nous y développons un langage de modélisation pour les exigences d'un système à …

Dans cet article, nous présentons un cadre de modélisation formelle pour l'ingénierie du
besoin qui prenne simultanément en compte les buts comportementaux et les agents. Pour …