Yuval Gerber

According to our database, Yuval Gerber authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Reasoning About Monotonic Regulation Conditions for Boolean Gene Regulatory Networks: An Algorithmic Approach.

Yuval Gerber, Michelle Aluf-Medina, Oria Ratzon, Leeshay Elimelech, Hillel Kugler

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2025

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