Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Wei Wan, Ehsan Khosrowshahi Asl. Model checking temporal knowledge and commitments in multi-agent systems using reduction. Simulation Modelling Practice and Theory, 51:45-68, 2015. [doi]
Abstract is missing.