Jakub Michaliszyn

2 papers in the IJCAI proceedings

IJCAI 2021

Minimization of Limit-Average Automata

with Jan Otop

doi:10.24963/ijcai.2021/388

Details PDF

IJCAI 2019

Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications

with Piotr Witkowski

doi:10.24963/ijcai.2019/659

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings