36 citations · 111 across the 22 of their papers we have counts for
8 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…
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…
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…
MSDC: Exploiting Multi-State Power Consumption in Non-intrusive Load Monitoring based on A Dual-CNN Model
Jialing He, Jiamou Liu, Zijian Zhang +4
Non-intrusive load monitoring (NILM) aims to decompose aggregated electrical usage signal into appliance-specific power consumption and it amounts to a classical example of blind s…
String Compression in FA-Presentable Structures
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov +1
We construct a FA-presentation of the structure for which a numerical characteristic defined as the maximum number $ψ…