杨鹏飞;李仁觉;李建林;黄成超;王景毅;孙骏;薛、白;张丽君 通过伪区域引导细化改进神经网络验证。 （英语） Zbl 1467.68096号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 389-408 (2021).MSC公司：60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{P.Yang}等人，Lect。注释计算。科学。12651、389--408（2021；Zbl 1467.68096） 全文： 内政部 arXiv公司
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 （英语） Zbl 1468.68202号 J.汽车。推理 64，第1号，1-20（2020）.MSC公司：68T20型 68T05年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人，J.Autom。推理64，No.1，1--20（2020；Zbl 1468.68202） 全文： 内政部
黄成超;李景超;徐明;李志斌 通过排除和分化对多电源进行阳性根隔离。 （英语） 兹比尔1378.68200 J.塞姆。计算。 85, 148-169 (2018).MSC公司：68瓦30 第12天第10天 2005年12月 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人，J.Symb。计算。85、148--169（2018；Zbl 1378.68200） 全文： 内政部