Jeremy Kong

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Formal Specification

Linear Temporal Logic

Top Venues

Publications

Jeremy Kong, Alessio Lomuscio
Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. AAMAS (2018)
Jeremy Kong, Alessio Lomuscio
Model Checking Multi-Agent Systems against LDLK Specifications. IJCAI (2017)
Jeremy Kong, Alessio Lomuscio
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. AAMAS (2017)