Bożena Woźna-Szcześniak

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

Bounded model checking for knowledge and real time

Alessio Lomuscio, Wojciech Penczek, Bożena Woźna-Szcześniak · Artificial Intelligence · 2007 · 51 citations

Computing, Computer Science, Computer Systems +12

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