Matan Peled

According to our database, Matan Peled authored at least 1 paper in 2023.

Collaborative distances:

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

2023

SMT Sampling via Model-Guided Approximation.

Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky

Proceedings of the Formal Methods - 25th International Symposium, 2023