Formal Semantics and Verification of Network-Based Biocomputation Circuits. - Michelle Aluf-Medina; Till Korten; Avraham Raviv; Dan V. Nicolau Jr.; Hillel Kugler (VMCAI, 2021)

Prediction and Control of Stochastic Agents Using Formal Methods. - Avraham Raviv; Yuval Gerber; Liri Benzinou; Michelle Aluf-Medina; Hillel Kugler (FoMLAS@CAV, 2023)

Simulation and Verification of Network-Based Biocomputation Circuits. - Michelle Aluf-Medina; Avraham Raviv; Himanshu Arora; Till Korten; Hillel Kugler (ISCAS, 2023)

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

Formal Verification of Object Detection. - Avraham Raviv; Yizhak Yisrael Elboher; Michelle Aluf-Medina; Yael Leibovich Weiss; Omer Cohen; Roy Assa; Guy Katz; Hillel Kugler (CoRR, 2024)