Decidable Verification of Multi-agent Systems with Bounded Private Actions

Francesco Belardinelli (Laboratoire IBISC, UEVE), Alessio Lomuscio (Imperial College London), Aniello Murano (Università degli Studi di Napoli), Sasha Rubin (Università degli Studi di Napoli)

Abstract

The abstract for this paper is not yet available.