Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny. BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Autonomous Agents and Multi-Agent Systems, 28(4):558-604, 2014. [doi]
@article{MeskiPSWZ14,
title = {BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance},
author = {Artur Meski and Wojciech Penczek and Maciej Szreter and Bozena Wozna-Szczesniak and Andrzej Zbrzezny},
year = {2014},
doi = {10.1007/s10458-013-9232-2},
url = {http://dx.doi.org/10.1007/s10458-013-9232-2},
researchr = {https://researchr.org/publication/MeskiPSWZ14},
cites = {0},
citedby = {0},
journal = {Autonomous Agents and Multi-Agent Systems},
volume = {28},
number = {4},
pages = {558-604},
}