Bozzelli, Laura

2 publications

IJCAI 2019 The Complexity of Model Checking Knowledge and Time Laura Bozzelli, Bastien Maubert, Aniello Murano

IJCAI 2013 The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat