维杰·加内什;Sanjit A.Seshia。;Jha,萨默什 机器学习和逻辑:人工智能的新前沿。 (英语) 兹伯利07757157 形式方法系统。设计。 60,第3期,426-451(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Ganesh}等人,《形式方法系统》。设计。60,编号3,426--451(2022;Zbl 07757157) 全文: 内政部
伊丽莎白·波格林;安德鲁·雷诺兹;Sanjit A.Seshia。 可满足性与合成模预言。 (英语) Zbl 1498.68082号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 263-284 (2022).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Polgreen}等人,Lect。注释计算。科学。13182、263--284(2022年;Zbl 1498.68082) 全文: 内政部 arXiv公司
塞巴斯蒂安·荣格斯;尼尔斯·詹森;Sanjit A.Seshia。 在POMDP中实施几乎安全的可达性。 (英语) Zbl 1493.68213号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 602-625 (2021).MSC公司:60年第68季度 87年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,Lect。注释计算。科学。12760、602--625(2021;Zbl 1493.68213) 全文: 内政部 arXiv公司
尼基尔·皮姆帕尔切尔;费德里科·莫拉;伊丽莎白·波格林;Sanjit A.Seshia。 MedleySolver:在线SMT算法选择。 (英语) 兹伯利07495591 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831453-470(2021年)。MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Pimpalkhare}等人,Lect。注释计算。科学。12831453-470(2021;Zbl 07495591) 全文: 内政部 链接
马库斯·拉贝。;Sanjit A.Seshia。 增量确定。 (英语) Zbl 1475.68222号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 375-392 (2016).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rabe}和\textit{S.A.Seshia},莱克特。注释计算。科学。9710,375-392(2016年;兹比尔1475.68222) 全文: 内政部 链接