Learning Through Imitation by Using Formal Verification. - Avraham Raviv; Eliya Bronshtein; Or Reginiano; Michelle Aluf-Medina; Hillel Kugler (SOFSEM, 2023)