Verification and Realizability in Finite-Horizon Multiagent Systems.

Senthil Rajasekaran, Moshe Y. Vardi

Browse the full KR paper archive.