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

Rafael Dewes, Rayna Dimitrova

Quantitative requirements play an important role in the context of multi-agent systems, where there is often a trade-off between the tasks of individual agents and the constraints…