research
∙
05/24/2023
Discounting in Strategy Logic
Discounting is an important dimension in multi-agent systems as long as ...
share
research
∙
01/24/2022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
In online advertising, search engines sell ad placements for keywords co...
research
∙
02/01/2021
A General Framework for the Logical Representation of Combinatorial Exchange Protocols
The goal of this paper is to propose a framework for representing and re...
research
∙
12/04/2019