Technical Appendix for ICAPS-26 Paper Compiling Model Reconciliation Problem into Stackelberg and FOND Planning Problems

The main appendix of the ICAPS-26 paper "Compiling Model Reconciliation Problem into Stackelberg and FOND Planning Problems".