4 citations · 6 across the 5 of their papers we have counts for
5 papers
Strategic Abilities of Forgetful Agents in Stochastic Environments
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann +1
In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity…
Discounting in Strategy Logic
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Discounting is an important dimension in multi-agent systems as long as we want to reason about strategies and time. It is a key aspect in economics as it captures the intuition th…
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone +3
In online advertising, search engines sell ad placements for keywords continuously through auctions. This problem can be seen as an infinitely repeated game since the auction is ex…
A General Framework for the Logical Representation of Combinatorial Exchange Protocols
Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
The goal of this paper is to propose a framework for representing and reasoning about the rules governing a combinatorial exchange. Such a framework is at first interest as long as…
Game Description Logic with Integers: A GDL Numerical Extension
Munyque Mittelmann, Laurent Perrussel
Many problems can be viewed as games, where one or more agents try to ensure that certain objectives hold no matter the behavior from the environment and other agents. In recent ye…