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

Rafael Dewes, Rayna Dimitrova

Browse the full AAAI paper archive.