Rafael Dewes

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

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 that the agents must jointly adhere to. We study multi-agent systems whose requirements are formally specified in the q…