Wojciech Penczek

Wojciech Penczek

Institute of Computer Science Polish Academy of Sciences - Warsaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 4485058
Instytut Informatyki Polskiej Akademii Nauk
person_outline Wojciech Penczek's MOST POPULAR ARTICLES
1-) A partial order approach to branching time logic model checkingR Gerth, R Kuiper, D Peled, W PenczekInformation and Computation 150 (2), 132-152, 19992391999
2-) Verifying epistemic properties of multi-agent systems via bounded model checkingW Penczek, A LomuscioProceedings of the second international joint conference on Autonomous …, 20032382003
3-) Bounded model checking for the universal fragment of CTL W Penczek, B Woźna, A Zbrzezny Fundamenta Informaticae 51 (1-2), 135-156, 2002 1442002
4-) Verics 2007-a model checker for knowledge and real-timeM Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ...Fundamenta Informaticae 85 (1-4), 313-328, 20081272008
5-) Model-checking of causality propertiesR Alur, D Peled, W PenczekProceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 90-100, 19951241995