Michaliszyn, Jakub

4 publications

IJCAI 2021 Minimization of Limit-Average Automata Jakub Michaliszyn, Jan Otop

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

IJCAI 2016 Querying Data Graphs with Arithmetical Regular Expressions Maciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek

IJCAI 2013 An Epistemic Halpern-Shoham Logic Alessio Lomuscio, Jakub Michaliszyn