36 citations · 111 across the 22 of their papers we have counts for
6 papers · 1 filter
Two new algorithms for solving Müller games and their applications
Zihui Liang, Bakh Khoussainov, Mingyu Xiao
Müller games form a well-established class of games for model checking and verification. These games are played on directed graphs where Player 0 and Player 1 play by…
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…
Differentially Private Diffusion Auction: The Single-unit Case
Fengjuan Jia, Mengxiao Zhang, Jiamou Liu +1
Diffusion auction refers to an emerging paradigm of online marketplace where an auctioneer utilises a social network to attract potential buyers. Diffusion auction poses significan…
Characterizations of Network Auctions and Generalizations of VCG
Mingyu Xiao, Guixin Lin, Bakh Khoussainov +1
With the growth of networks, promoting products through social networks has become an important problem. For auctions in social networks, items are needed to be sold to agents in a…
Multi-unit Auction over a Social Network
Yuan Fang, Mengxiao Zhang, Jiamou Liu +2
Diffusion auction is an emerging business model where a seller aims to incentivise buyers in a social network to diffuse the auction information thereby attracting potential buyers…
Facility Location Games Beyond Single-Peakedness: the Entrance Fee Model
Mengfan Ma, Mingyu Xiao, Tian Bai +1
The facility location game has been studied extensively in mechanism design. In the classical model, each agent's cost is solely determined by her distance to the nearest facility.…