Authors Search About

Kong, Jeremy

1 publications

IJCAI 2017 Model Checking Multi-Agent Systems Against LDLK Specifications Jeremy Kong, Alessio Lomuscio

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy