Home » Authors » Ng, Chi-Kit, Jiang, Jie-Hong R., Chih Hsiang, Chuang

Ng, Chi-Kit, Jiang, Jie-Hong R., Chih Hsiang, Chuang

Public reference bibliography and cataloged PDF materials authored or published by Ng, Chi-Kit, Jiang, Jie-Hong R., Chih Hsiang, Chuang.

Found 1 document(s) Page 1 of 1

Chapter Stochastic Boolean Satisfiability for Two-Player Sequential Games under Uncertainty

Year: 2026 • Source: www.oapen.org • External Catalog

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researcher...