4 citations · 18 across the 16 of their papers we have counts for
6 papers · 1 filter
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…
Optimal Strategies in Weighted Limit Games
Aniello Murano, Sasha Rubin, Martin Zimmermann
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce i…
Optimal Strategies in Weighted Limit Games (full version)
Aniello Murano, Sasha Rubin, Martin Zimmermann
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce i…
Solving Parity Games Using An Automata-Based Algorithm
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli +1
Parity games are abstract infinite-round games that take an important role in formal verification. In the basic setting, these games are two-player, turn-based, and played under pe…
Extended Graded Modalities in Strategy Logic
Benjamin Aminof, Vadim Malvone, Aniello Murano +1
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific…
Proceedings 1st International Workshop on Strategic Reasoning
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
This volume contains the proceedings of the 1st International Workshop on Strategic Reasoning 2013 (SR 2013), held in Rome (Italy), March 1617, 2013. The SR workshop aims to bring…