Wojciech Penczek. Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic. In Bernd-Holger Schlingloff, Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. Volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.