EasyChair Smart Slide
Verification and Realizability in Finite-Horizon Multiagent Systems
Verification and Realizability in Finite-Horizon Multiagent Systems