ML Anthology

Witkowski, Piotr

1 publications

IJCAI 2019 Decidability of Model Checking Multi-Agent Systems with Regular Expressions Against Epistemic HS Specifications Jakub Michaliszyn, Piotr Witkowski