ML Anthology

Dewes, Rafael

1 publications

AAAI 2025 Contract-Based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements Rafael Dewes, Rayna Dimitrova