×

找到12个文档（结果1-12）

最新的 引文 相关性
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯

基于回合的随机博弈的符号验证和策略综合。 （英语） Zbl 1528.68229号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 388-406 (2022).
MSC公司：60年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。13660388--406（2022年；Zbl 1528.68229）
全文： DOI程序 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯

并发随机游戏的自动验证。 （英语） Zbl 1514.68138号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 223-239 (2018).
MSC公司：60年第68季度 68问题85 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。11024、223--239（2018；Zbl 1514.68138）
全文： DOI程序 链接
拜尔，克里斯特尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，在：模型检查手册中。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： DOI程序
Dannenberg，弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡

使用快速自适应均匀化计算累积奖励。 （英语） Zbl 1369.65014号

ACM事务处理。模型。计算。模拟。 25，第2号，第9条，第23页（2015年）.
MSC公司：65立方厘米 60J28型 65立方厘米20 60年第68季度 92D20型 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Dannenberg}等人，《美国医学杂志》。模型。计算。模拟。25，第2号，第9条，23页（2015年；Zbl 1369.65014）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件