Rafael Dewes

1
Papers
0
Total Citations

Papers (1)

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

AAAI 2025
0
citations