Michelle Aluf-Medina

According to our database, Michelle Aluf-Medina authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Object Detection.

Avraham Raviv, Yizhak Y. Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler

CoRR, 2024

2023

Learning Through Imitation by Using Formal Verification.

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

Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

Simulation and Verification of Network-Based Biocomputation Circuits.

Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler

Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

Prediction and Control of Stochastic Agents Using Formal Methods.

Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2021

Formal Semantics and Verification of Network-Based Biocomputation Circuits.

Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021