Picture for Munyque Mittelmann

Munyque Mittelmann

Natural Strategic Ability in Stochastic Multi-Agent Systems

Add code
Jan 22, 2024
Viaarxiv icon

Discounting in Strategy Logic

Add code
May 24, 2023
Viaarxiv icon

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Add code
Jan 24, 2022
Figure 1 for Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Figure 2 for Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Viaarxiv icon

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

Add code
Feb 01, 2021
Figure 1 for A General Framework for the Logical Representation of Combinatorial Exchange Protocols
Figure 2 for A General Framework for the Logical Representation of Combinatorial Exchange Protocols
Figure 3 for A General Framework for the Logical Representation of Combinatorial Exchange Protocols
Figure 4 for A General Framework for the Logical Representation of Combinatorial Exchange Protocols
Viaarxiv icon

Game Description Logic with Integers: A GDL Numerical Extension

Add code
Dec 04, 2019
Figure 1 for Game Description Logic with Integers: A GDL Numerical Extension
Figure 2 for Game Description Logic with Integers: A GDL Numerical Extension
Viaarxiv icon