Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing

Francesco Belardinelli (Imperial College London & Université d’Evry)

Abstract

The abstract for this paper is not yet available.