15 citations · 32 across the 13 of their papers we have counts for
3 papers · 1 filter
Connectivity in the presence of an opponent
Zihui Liang, Bakh Khoussainov, Toru Takisaka +1
The paper introduces two player connectivity games played on finite bipartite graphs. Algorithms that solve these connectivity games can be used as subroutines for solving Müller g…
Lexicographic Ranking Supermartingales with Lazy Lower Bounds
Toru Takisaka, Libo Zhang, Changjiang Wang +1
Lexicographic Ranking SuperMartingale (LexRSM) is a probabilistic extension of Lexicographic Ranking Function (LexRF), which is a widely accepted technique for verifying program te…
Learning Density-Based Correlated Equilibria for Markov Games
Libo Zhang, Yang Chen, Toru Takisaka +3
Correlated Equilibrium (CE) is a well-established solution concept that captures coordination among agents and enjoys good algorithmic properties. In real-world multi-agent systems…