Compositional High-Quality Synthesis. - Rafael Dewes; Rayna Dimitrova (ATVA (1), 2023)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements. - Rafael Dewes; Rayna Dimitrova (AAAI, 2025)