Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. - Jeremy Kong; Alessio Lomuscio (AAMAS, 2017)

Model Checking Multi-Agent Systems against LDLK Specifications. - Jeremy Kong; Alessio Lomuscio (IJCAI, 2017)

Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. - Jeremy Kong; Alessio Lomuscio (AAMAS, 2018)