Additional Information about EPIA 2022 Paper
This repository includes additional information for our EPIA 2022 Paper "A Robust State Transition Function for Multi-agent Epistemic Systems" by Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli.
The online appendix includes details about the state transition in the example scenarios in the main text and also proof of the theorems.