BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

Mȩski, Artur ; Penczek, Wojciech ; Szreter, Maciej ; Woźna-Szcześniak, Bożena ; Zbrzezny, Andrzej

Autonomous agents and multi-agent systems, 2014-07, Vol.28 (4), p.558-604 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível