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

Bounded Model Checking, Engineering, Automated Reasoning +13

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

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

Verics 2007, Engineering, Verification +23

Bounded model checking for knowledge and real time

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

Engineering, Automated Reasoning, Verification +8

Checking Reachability Properties for Timed Automata via SAT

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

Logical Automaton, Bounded Model Checking, Engineering +13

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

Engineering, Formal Modeling, Automated Reasoning +13