Automata Techniques for Epistemic Protocol Synthesis

Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…