首页期刊浏览 2024年11月26日星期二

登录注册

全文

有本地全文

9篇

出版年度

	2021	1篇
	2020	2篇
	2016	3篇
	2015	1篇
	2014	1篇

2008

1篇

作者

	Ashutosh Trivedi	9篇
	Shankara Narayanan Krishna	5篇
	Emmanuel Filiot	2篇
	Lakshmi Manasa	2篇
	Marcin Jurdzinski	2篇

	Shibashis Guha	2篇
	Dominik Wojtczak	1篇
	Ernst Moritz Hahn	1篇
	Fabio Somenzi	1篇
	Jean-Fran{\c{c}}ois Raskin	1篇
	Mateo Perez	1篇
	Nanda Kishore Sreenivas	1篇
	Nicolas Mazzocchi	1篇
	Patricia Bouyer	1篇
	S. Akshay	1篇
	Shrisha Rao	1篇
	Sriram Sankaranarayanan	1篇
	Sven Schewe	1篇
	Vrunda Dave	1篇

文章类型

Research Article

1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Systems	1篇

学科主题

	计算技术、计算机技术	8篇
	系统工程	1篇

语种

英文

9篇

国别/地区

	德国	8篇
	瑞士	1篇

检索条件:"( ( 高级检索(( ((AU:(("Ashutosh Trivedi")))) )) ) )"

共 9 条记录

排序：全选导出：

1.Weighted Transducers for Robustness Verification

作　　者：Emmanuel Filiot ;Nicolas Mazzocchi ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:17:1-17:21.doi:10.4230/LIPIcs.CONCUR.2020.17

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

文章 ID：255822876

文章详细全文下载
2.Model-Free Reinforcement Learning for Stochastic Parity Games

作　　者：Ernst Moritz Hahn ;Mateo Perez ;Sven Schewe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:21:1-21:16.doi:10.4230/LIPIcs.CONCUR.2020.21

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

文章 ID：255822880

文章详细全文下载
3.Modeling the Spread and Control of COVID-19

作　　者：Ashutosh Trivedi ;Nanda Kishore Sreenivas ;Shrisha Rao

出　　处：Systems. 2021 ;9(3):53.doi:10.3390/systems9030053

出版社：MDPI Publishing

文章 ID：266009995

文章详细全文下载
4.Average-Time Games

作　　者：Marcin Jurdzinski ;Ashutosh Trivedi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:340-351.doi:10.4230/LIPIcs.FSTTCS.2008.1765

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

文章 ID：186845503

文章详细全文下载
5.First-order Definable String Transformations

作　　者：Emmanuel Filiot ;Shankara Narayanan Krishna ;Ashutosh Trivedi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:147-159.doi:10.4230/LIPIcs.FSTTCS.2014.147

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

文章 ID：186846602

文章详细全文下载
6.Revisiting Robustness in Priced Timed Games

作　　者：Shibashis Guha ;Shankara Narayanan Krishna ;Lakshmi Manasa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:261-277.doi:10.4230/LIPIcs.FSTTCS.2015.261

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

文章 ID：186847190

文章详细全文下载
7.Stochastic Timed Games Revisited

作　　者：S. Akshay ;Patricia Bouyer ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:8:1-8:14.doi:10.4230/LIPIcs.MFCS.2016.8

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

文章 ID：186847835

文章详细全文下载
8.FO-Definable Transformations of Infinite Strings

作　　者：Vrunda Dave ;Shankara Narayanan Krishna ;Ashutosh Trivedi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:12:1-12:14.doi:10.4230/LIPIcs.FSTTCS.2016.12

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

文章 ID：186848132

文章详细全文下载
9.Mean-Payoff Games on Timed Automata

作　　者：Shibashis Guha ;Marcin Jurdzinski ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:44:1-44:14.doi:10.4230/LIPIcs.FSTTCS.2016.44

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

文章 ID：186848164

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有