The complexity of model checking concurrent programs against CTLK specifications

Alessio Lomuscio, Franco Raimondi. The complexity of model checking concurrent programs against CTLK specifications. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 548-550, ACM, 2006. [doi]

Abstract

Abstract is missing.