Senthil Rajasekaran, Moshe Y. Vardi. Verification and Realizability in Finite-Horizon Multiagent Systems. In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer 0002, editors, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022. 2022. [doi]
Abstract is missing.