苏哈姆Banerjee;苏马纳州戈什;安苏曼·班纳吉;Mohalik，Swarup K。 基于SMT的尖峰神经网络建模与验证：案例研究。 （英语） Zbl 1529.68151号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 25-43 (2023).MSC公司：60年第68季度 2007年第68季度 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人，Lect。注释计算。科学。13881，25-43（2023；Zbl 1529.68151） 全文： 内政部
伊丽莎白·德玛利亚;辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨 建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） Zbl 1530.68086号 自然计算。 19，第1期，135-155（2020年）.MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92B20型 92C20美元 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086） 全文： 内政部 arXiv公司 哈尔
C·奥尔特。;Chiarugi，D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 （英语） Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司：60年第68季度 03楼52 2005年第68季度 2010年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。641、25-42（2016年；Zbl 1344.68140） 全文： 内政部 链接