Wang Yi

• Common Knowledge about Chinese Culture (English-Chinese, illustrated)
• Common Knowledge about Chinese History (English-Chinese, illustrated)
• How to Survive As a Villain 1
• Formal modeling and analysis of timed systems
• Princesse Corbeau
• Zhi chang lu xian tu
• Common Knowledge about Chinese Geography (English-Chinese, illustrated)
• Dependable Software Engineering : Theories, Tools, and Applications
• How to Survive As a Villain 3
• Model Checking, Synthesis, and Learning