This page shows all presentations of this author published in EasyChair Smart Slide.
Verification and Realizability in Finite-Horizon Multiagent Systems
Senthil Rajasekaran and Moshe Y. Vardi