Learning Through Imitation by Using Formal Verification.

Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler

Browse the full SOFSEM paper archive.