TY - RPRT TI - On Exploiting Hitting Sets for Model Reconciliation AU - Stylianos Loukas Vasileiou AU - Alessandro Previti AU - William Yeoh PY - 2023 UR - https://arxiv.org/abs/2012.09274 ID - 2012.09274 ER -