Andrzej Zbrzezny

Bounded Model Checking for the Universal Fragment of CTL

Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny · 2002 · 102 citations

Computing, Computer Science, Logic +12

VerICS 2007 - a Model Checker for Knowledge and Real-Time

Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski et al. · Fundamenta Informaticae · 2008 · 88 citations

Computing, Computer Science, Formal Methods +11

Checking Reachability Properties for Timed Automata via SAT

Bożena Woźna-Szcześniak, Andrzej Zbrzezny, Wojciech Penczek · 2002 · 42 citations

Computing, Computer Science, Algorithms +16

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

Artur Męski, Wojciech Penczek, Maciej Szreter et al. · Autonomous Agents and Multi-Agent Systems · 2013 · 37 citations · Full text

Computing, Computer Science, Algorithms +13

Improving the Translation from ECTL to SAT

Andrzej Zbrzezny · Fundamenta Informaticae · 2008 · 29 citations

Computing, Computer Engineering, Computer Science +14