1.Deciding Quantifier-free Presburger Formulas Using Parameterized Solution Bounds

作　　者：Sanjit A Seshia ;Randal E Bryant

出　　处：Logical Methods in Computer Science. 2005 ;1(2).

出版社：Technical University of Braunschweig

文章 ID：41929643

文章详细全文下载
2.Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk)

作　　者：Sanjit A. Seshia

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-3.doi:10.4230/LIPIcs.FSTTCS.2020.5

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：257805075

文章详细全文下载
3.Control Improvisation

作　　者：Daniel J. Fremont ;Alexandre Donz{\'e ;Sanjit A. Seshia 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:463-474.doi:10.4230/LIPIcs.FSTTCS.2015.463

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847204

文章详细全文下载
4.Verifying Robustness of Human-Aware Autonomous Cars

作　　者：Dorsa Sadigh ;S. Shankar Sastry ;Sanjit A. Seshia

出　　处：IFAC PapersOnLine. 2019 ;51(34):131-138.doi:10.1016/j.ifacol.2019.01.055

出版社：Elsevier

文章 ID：1022394117

文章详细
5.Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games

作　　者：Marcell J. Vazquez-Chanlatte ;Shromona Ghosh ;Vasumathi Raman 等

出　　处：IFAC PapersOnLine. 2018 ;51(16):7-12.doi:10.1016/j.ifacol.2018.08.002

出版社：Elsevier

文章 ID：1020058101

文章详细

	有本地全文	3篇
	有全文链接	2篇

	Sanjit A. Seshia	4篇
	Alberto Sangiovanni-Vincentelli	1篇
	Alexandre Donz{\'e	1篇
	Daniel J. Fremont	1篇
	David Wessel	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sanjit A Seshia")))) )) ) )"

	Dorsa Sadigh	1篇
	Marcell J. Vazquez-Chanlatte	1篇
	Randal E Bryant	1篇
	S. Shankar Sastry	1篇
	Sanjit A Seshia	1篇
	Shromona Ghosh	1篇
	Vasumathi Raman	1篇

	IFAC PapersOnLine	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	1篇

	2020	1篇
	2019	1篇
	2018	1篇
	2015	1篇
	2005	1篇