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 Fri Dec 6 19:53:45 2024 CET.