1.The Robot Routing Problem for Collecting Aggregate Stochastic Rewards

作　　者：Rayna Dimitrova ;Ivan Gavran ;Rupak Majumdar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:13:1-13:17.doi:10.4230/LIPIcs.CONCUR.2017.13

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

文章 ID：200735179

文章详细全文下载
2.Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions

作　　者：Sadegh Esmaeil Zadeh Soudjani ;Alessandro Abate

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:8)2015

出版社：Technical University of Braunschweig

文章 ID：264692073

文章详细全文下载
3.Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

作　　者：Sadegh Esmaeil Zadeh Soudjani ;Alessandro Abate ;Rupak Majumdar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:169-183.doi:10.4230/LIPIcs.CONCUR.2015.169

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

文章 ID：186847008

文章详细全文下载
4.Robust Model Predictive Control with Signal Temporal Logic constraints for Barcelona Wastewater System

作　　者：Samira S. Farahani ;Sadegh Esmaeil Zadeh Soudjani ;Rupak Majumdar 等

出　　处：IFAC PapersOnLine. 2017 ;50(1):6594-6600.doi:10.1016/j.ifacol.2017.08.618

出版社：Elsevier

文章 ID：1010444840

文章详细

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

	Sadegh Esmaeil Zadeh Soudjani	4篇
	Rupak Majumdar	3篇
	Alessandro Abate	2篇
	Carlos Ocampo-Martinez	1篇
	Ivan Gavran	1篇

	Rayna Dimitrova	1篇
	Samira S. Farahani	1篇
	Vinayak S. Prabhu	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sadegh Esmaeil Zadeh Soudjani")))) )) ) )"

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

	2017	2篇
	2015	2篇