Number of items: 2.
D
Dewes, Rafael and Dimitrova, Rayna
(2023)
Compositional High-Quality Synthesis.
(In Press)
H
Heim, Philippe and Dimitrova, Rayna
(2023)
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.
(In Press)
This list was generated on Mon Mar 31 14:18:41 2025 CEST.