ML Anthology
Authors
Search
About
Sidoruk, Teofil
1 publications
JAIR
2020
Towards Partial Order Reductions for Strategic Ability
Wojciech Jamroga
,
Wojciech Penczek
,
Teofil Sidoruk
,
Piotr Dembinski
,
Antoni W. Mazurkiewicz