no code implementations • 22 Jan 2024 • Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
We also give a 2NEXPTIME complexity result for NatPATL* with the same restriction.
no code implementations • 24 May 2023 • 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.
no code implementations • 24 Jan 2022 • Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
In online advertising, search engines sell ad placements for keywords continuously through auctions.
no code implementations • 1 Feb 2021 • Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
The contribution is two-fold: first, we illustrate the general dimension by representing different kinds of protocols, and second, we show how to reason about auction properties in this machine-processable language.
no code implementations • 4 Dec 2019 • 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.