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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Artur Meski' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Maciej Szreter' in GoogleThis author has not been identified. Look up 'Bozena Wozna-Szczesniak' in GoogleThis author has not been identified. Look up 'Andrzej Zbrzezny' in Google

runs on WebDSL