16 citations · 47 across the 7 of their papers we have counts for
7 papers
CasGCN: Predicting future cascade growth based on information diffusion graph
Zhixuan Xu, Minghui Qian, Xiaowei Huang +1
Sudden bursts of information cascades can lead to unexpected consequences such as extreme opinions, changes in fashion trends, and uncontrollable spread of rumors. It has become an…
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
We consider the setting of stochastic multiagent systems modelled as stochastic multiplayer games and formulate an automated verification framework for quantifying and reasoning ab…
Normative Multiagent Systems: A Dynamic Generalization
Xiaowei Huang, Ji Ruan, Qingliang Chen +1
Social norms are powerful formalism in coordinating autonomous agents' behaviour to achieve certain objectives. In this paper, we propose a dynamic normative system to enable the r…
The complexity of approximations for epistemic synthesis (extended abstract)
Xiaowei Huang, Ron van der Meyden
Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what…
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the s…
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would kn…
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
X. Huang, R. van der Meyden
This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An ap…