ML Anthology

Benerecetti, Massimo

1 publications

AAAI 2019 Satisfiability in Strategy Logic Can Be Easier than Model Checking Erman Acar, Massimo Benerecetti, Fabio Mogavero