Munyque Mittelmann
University of Naples Federico II
Monday January 20th, 2025, 10:00
Amphitheatre F107, Montbonnot
entrée libre
Abstract
In recent years, a wealth of logic-based languages have been introduced to reason about the strategic abilities of autonomous agents in multi-agent systems (MAS), including Alternating-time Temporal Logic (ATL) and Strategy Logic (SL). These formalisms have been used to verify the correctness of a MAS, which is viewed as a yes/no matter: either the system satisfies the specification or it does not. Evaluating the quality of systems through Boolean satisfaction is often inadequate, as different levels of quality may exist. In this talk, we present recent extensions of ATL and SL with quantitative semantics, allowing us to capture different degrees of satisfaction. We then discuss how these formalisms can be applied to Mechanism Design and Incentive Engineering.
Relevant paper https://proceedings.kr.org/2024/44/