59 citations · 134 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.GT2021★ 6 cited
Equilibrium Design for Concurrent Games
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives…
cs.LO2021
Behavioral QLTL
Giuseppe De Giacomo, Giuseppe Perelli
In this paper we introduce Behavioral QLTL, which is a ``behavioral'' variant of linear-time temporal logic on infinite traces with second-order quantifiers. Behavioral QLTL is cha…