Rafael Dewes

According to our database, Rafael Dewes authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements.

Rafael Dewes, Rayna Dimitrova

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2023

Compositional High-Quality Synthesis.

Rafael Dewes, Rayna Dimitrova

Proceedings of the Automated Technology for Verification and Analysis, 2023