Satisfiability in Strategy Logic can be Easier than Model Checking

E. Acar, Massimo Benerecetti, Fabio Mogavero

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of AAAI Conference on Artificial Intelligence 2019
Publication statusAccepted/In press - 2019

Cite this

Acar, E., Benerecetti, M., & Mogavero, F. (Accepted/In press). Satisfiability in Strategy Logic can be Easier than Model Checking. In Proceedings of AAAI Conference on Artificial Intelligence 2019
Acar, E. ; Benerecetti, Massimo ; Mogavero, Fabio . / Satisfiability in Strategy Logic can be Easier than Model Checking. Proceedings of AAAI Conference on Artificial Intelligence 2019. 2019.
@inproceedings{247edc0b0733419ca4a3083de52374e5,
title = "Satisfiability in Strategy Logic can be Easier than Model Checking",
author = "E. Acar and Massimo Benerecetti and Fabio Mogavero",
year = "2019",
language = "English",
booktitle = "Proceedings of AAAI Conference on Artificial Intelligence 2019",

}

Acar, E, Benerecetti, M & Mogavero, F 2019, Satisfiability in Strategy Logic can be Easier than Model Checking. in Proceedings of AAAI Conference on Artificial Intelligence 2019.

Satisfiability in Strategy Logic can be Easier than Model Checking. / Acar, E.; Benerecetti, Massimo ; Mogavero, Fabio .

Proceedings of AAAI Conference on Artificial Intelligence 2019. 2019.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Satisfiability in Strategy Logic can be Easier than Model Checking

AU - Acar, E.

AU - Benerecetti, Massimo

AU - Mogavero, Fabio

PY - 2019

Y1 - 2019

M3 - Conference contribution

BT - Proceedings of AAAI Conference on Artificial Intelligence 2019

ER -

Acar E, Benerecetti M, Mogavero F. Satisfiability in Strategy Logic can be Easier than Model Checking. In Proceedings of AAAI Conference on Artificial Intelligence 2019. 2019