Wojciech Nabialek

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Alternating Time Temporal Logic

Transition Systems

Automated Verification

Top Venues

Publications

Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek
SMT-Based Unbounded Model Checking for ATL. VECoS (2021)
Wojciech Nabialek, Agata Janowska, Pawel Janowski
Translation of Timed Promela to Timed Automata with Discrete Data. Fundam. Informaticae 85 (1-4) (2008)
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Informaticae 85 (1-4) (2008)