Jeremy Kong

According to our database, Jeremy Kong authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces.

Jeremy Kong, Alessio Lomuscio

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Model Checking Multi-Agent Systems against LDLK Specifications.

Jeremy Kong, Alessio Lomuscio

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications.

Jeremy Kong, Alessio Lomuscio

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017