Login / Signup

Model Checking Strategic Abilities of Agents Under Incomplete Information.

Wojciech JamrogaJürgen Dix
Published in: ICTCS (2005)
Keyphrases