Souradeep杜塔；陈欣；苏斯米特·贾；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里 演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 （英语） Zbl 07120164号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。262-263 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Dutta}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。262--263（2019年；Zbl 07120164） 全文： 内政部
阿什什·蒂瓦里 混合系统的抽象。 （英语） Zbl 1133.68368号 形式方法系统。设计。 32，第1号，57-83（2008）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiwari}，《形式方法系统》。设计。32，编号1，57--83（2008；Zbl 1133.68368） 全文： 内政部
阿什什·蒂瓦里；高拉夫·坎纳 混合自动机的一系列抽象。 （英语） Zbl 1044.93523号 Tomlin，Claire J.（编辑）等人，《混合系统：计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43321-X）。莱克特。注释计算。科学。2289, 465-478 (2002).MSC公司：93立方 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiwari}和\textit{G.Khanna}，莱克特。注释计算。科学。2289465--478（2002年；Zbl 1044.93523） 全文： 链接