Mogavero, Fabio

2 publications

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

IJCAI 2017 Reformulating Queries: Theory and Practice Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura