Tran，Hoang Dung村;Choi，Sung Woo崔成宇;杨晓东;山口，富古屋;巴德省霍克萨;丹尼尔·普罗霍罗夫 具有星可达性的递归神经网络的验证。 （英文） Zbl 07807947号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023；Zbl 07807947） 全文： 内政部
杨晓东;汤姆·山口;Tran，Hoang-Dung村;巴德省霍克萨;泰勒·T·约翰逊。;丹尼尔·普罗霍罗夫 具有可达性分析的神经网络修复。 （英文） Zbl 07643437号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13465, 221-236 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人，Lect。注释计算。科学。13465221-236（2022年；兹bl 07643437） 全文： 内政部 arXiv公司 链接
Tran，Hoang-Dung村;斯坦利·巴克;项伟明;泰勒·T·约翰逊。 使用ImageStars验证深度卷积神经网络。 （英文） Zbl 1478.68180号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12224, 18-42 (2020).MSC公司：60年第68季度 68T07型 68T45型 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人，Lect。注释计算。科学。12224，18-42（2020；Zbl 1478.68180） 全文： 内政部 arXiv公司
Tran，Hoang-Dung村;阮、滦越;纳撒尼尔·汉密尔顿;项伟明;泰勒·T·约翰逊。 高指数线性微分代数方程的可达性分析。 （英文） Zbl 1441.93021号 André，Étienne（编辑）等人，定时系统的形式建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11750, 160-177 (2019).MSC公司：93个B03 93立方厘米 93C83号 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人，Lect。注释计算。科学。11750、160-177（2019年；Zbl 1441.93021） 全文： 内政部 arXiv公司
Tran，Hoang-Dung村;阮、滦越;项伟明;泰勒·T·约翰逊。 用于高维线性系统安全验证的降阶抽象。 （英文） Zbl 1379.93026号 离散事件动态。系统。 27，第2期，443-461（2017）.MSC公司：93年11月 93甲15 93立方厘米05 93个B03 PDF格式BibTeX公司 XML格式引用 \textit｛H.-D.Tran｝等人，离散事件Dyn。系统。27，第2号，443--461（2017；Zbl 1379.93026） 全文： 内政部 arXiv公司