Penczek, Wojciech

2 publications

JAIR 2020 Towards Partial Order Reductions for Strategic Ability Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz

JAIR 2019 Timed ATL: Forget Memory, Just Count Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek