×

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

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

基于回合的随机博弈的符号验证和策略综合。 （英语） 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）
全文： 内政部 arXiv公司
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯

并发随机博弈的多人均衡验证。 （英语） Zbl 1483.68197号

Gribaudo，Marco（编辑）等人，《系统的定量评估》。第17届国际会议，QEST 2020，奥地利维也纳，2020年8月31日至9月3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12289, 74-95 (2020).
MSC公司：60年第68季度 03B44号 68问题85 91A15型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。12289，74-95（2020；Zbl 1483.68197）
全文： 内政部 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）
全文： 内政部 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

线性定价概率时间自动机的符号验证和策略综合。 （英语） Zbl 1431.68066号

Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10460, 289-309 (2017).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。10460289--309（2017年；Zbl 1431.68066）
全文： 内政部 链接
格钦·诺曼；大卫·帕克；邹学毅

部分可观测概率实时系统的验证和控制。 （英语） 兹比尔1465.68182

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).
MSC公司：60年第68季度 68平方米 68平方米25 65年第68季度 93立方厘米83
PDF格式BibTeX公司 XML格式引用
\textit｛G.Norman｝等人，Lect。注释计算。科学。9268、240-255（2015年；Zbl 1465.68182）
全文： 内政部 arXiv公司
亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 （英语） Zbl 1407.68275号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 40-58 (2014).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，Lect。注释计算。科学。8464，40-58（2014；Zbl 1407.68275）
全文： 内政部
梅克·马西克（编辑）；格钦·诺曼（编辑）

2011年4月1日至3日，德国萨尔布吕肯，第九届编程语言定量方面研讨会论文集。 （英语） Zbl 1415.68037号

理论计算机科学电子论文集（EPTCS）57.滑铁卢：开放出版协会（OPA）。162页。，仅电子版，开放存取（2011年）。
MSC公司：68-06 68甲15 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Massink}（编辑）和\textit{G.Norman}（编），第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）（2011；Zbl 1415.68037）
全文： 内政部 arXiv公司 链接
Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳

概率系统的定量多目标验证。 （英语） Zbl 1315.68177号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605112-127（2011）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛V.Forejt｝等人，Lect。注释计算。科学。6605112-127（2011年；Zbl 1315.68177）
全文： 内政部
亚历山德拉·迪·皮耶罗（编辑）；格钦·诺曼（编辑）

2010年3月27日至28日，塞浦路斯帕福斯，第八届编程语言定量方面研讨会会议记录。 （英语） Zbl 1415.68021号

理论计算机科学电子论文集（EPTCS）28.滑铁卢：开放出版协会（OPA）。181页。，仅电子版，开放存取（2010年）。
MSC公司：68-06 68甲15 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Pierro}（编辑）和\textit{G.Norman}（编），第八届编程语言定量方面研讨会论文集，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）（2010；Zbl 1415.68021）
全文： 内政部 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

用时间和概率验证软件的框架。 （英语） Zbl 1290.68035号

Chatterjee，Krishnendu（编辑）等人，定时系统的形式建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学课堂讲稿6246，25-45（2010）。
MSC公司：68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。6246，25-45（2010年；Zbl 1290.68035）
全文： 内政部 哈尔
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳

概率系统的假设保证验证。 （英语） Zbl 1284.68406号

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015，23-37（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。6015、23-37（2010年；Zbl 1284.68406）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

概率时间自动机验证的随机博弈。 （英语） Zbl 1262.68125号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。第七届国际会议，FORMATS 2009，匈牙利布达佩斯，2009年9月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，212-227（2009）。
MSC公司：60年第68季度 68问题85 91A15型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。5813、212--227（2009年；Zbl 1262.68125）
全文： 内政部
Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

概率软件的抽象精化。 （英语） Zbl 1206.68090号

Jones，Neil D.（编辑）等人，《验证、模型检查和抽象解释》。2009年1月18日至20日，第十届国际会议，VMCAI 2009，美国佐治亚州萨凡纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-93899-6/pbk）。计算机科学讲义5403，182-197（2009）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Kattenbelt}等人，Lect。注释计算。科学。5403182-197（2009年；Zbl 1206.68090）
全文： 内政部
马克·卡滕贝尔特；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

PRISM中基于博弈的概率谓词抽象。 （英语） Zbl 1286.68316号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，5-21页（2008年）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kattenbelt}等人，《电子》。注释Theor。计算。科学。220，编号3，5--21（2008；Zbl 1286.68316）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

随机模型检查。 （英语） Zbl 1323.68379号

Bernardo，Marco（编辑）等人，《绩效评估的正式方法》。2007年5月28日至6月2日，意大利贝蒂诺罗，第七所计算机、通信和软件系统正式设计方法国际学校，SFM 2007。高级讲座。柏林：施普林格出版社（ISBN 978-3-540-72482-7/pbk）。计算机科学课堂讲稿4486，220-270（2007）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。4486、220-270（2007年；Zbl 1323.68379）
全文： 内政部
马库斯·格勒；格钦·诺曼；克里斯特尔·拜尔；Frank Ciesinski先生；玛尔塔·奎亚特科夫斯卡；大卫·帕克

概率报酬模型的约简准则。 （英语） Zbl 1177.68150号

Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。《计算机科学讲义》4337309-320（2006）。
MSC公司：68问题85 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Größer}等人，Lect。注释计算。科学。4337、309--320（2006年；Zbl 1177.68150）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

概率模型检查的对称约简。 （英语） Zbl 1188.68194号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学课堂讲稿4144234-248（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。4144234--248（2006年；Zbl 1188.68194）
全文： 内政部
哈坎·L·S·尤尼斯。；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

数值与统计概率模型检验：一项实证研究。 （英语） Zbl 1126.68490号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿298846-60（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.L.S.Younes}等人，Lect。注释计算。科学。2988、46-60（2004年；Zbl 1126.68490）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；杰里米·斯普洛斯顿；王富之

概率时间自动机的符号模型检验。 （英语） Zbl 1109.68517号

Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253293-308（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。3253、293--308（2004年；Zbl 1109.68517）
全文： 内政部
帕南加登，普拉卡什（编辑）；弗兰克·范·布鲁格尔（编辑）
[J.J.M.M.鲁顿。；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克]

用于分析并发和概率系统的数学技术。 （英语） Zbl 1069.68074号

CRM专题系列23.普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3571-8/hbk）。viii，215页。(2004).
审核人：亚历山德罗·杜西（贝加莫）
MSC公司：60年第68季度 68问题85 60J10型 68卢比 03G25号 60J27型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Panangaden}（编辑）和textit{F.van Breugel}（编），分析并发和概率系统的数学技术。普罗维登斯，RI:美国数学学会（AMS）（2004；Zbl 1069.68074）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；拉希德·迈赫穆德；格钦·诺曼；大卫·帕克

马尔可夫模型的符号离核求解方法。 （英语） Zbl 1270.68232号

Brim，Lubos（编辑）等人，PDMC 2002。2002年8月19日在捷克共和国布尔诺举行的第一次并行和分布式模型检查国际研讨会（CONCUR 2002卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第4期，589-604（2002）。
MSC公司：87年第68季度 60J28型 65楼30 60年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\文本{M.Kwiatkowska}等人，电子。注释Theor。计算。科学。68，第4号，589--604（2002；Zbl 1270.68232）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；杰里米·斯普洛斯顿

IEEE 802.11无线局域网协议的概率模型检查。 （英语） Zbl 1065.68583号

Hermanns，Holger（编辑）等人，《过程代数和概率方法》。性能建模和验证。2002年PAPM-PROBMIV第二次联合国际研讨会，丹麦哥本哈根，2002年7月25-26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43913-7）。莱克特。注释计算。科学。2399, 169-187 (2002).
MSC公司：60年第68季度 68米10 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2399、169--187（2002年；Zbl 1065.68583）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；安托尼奥·帕切科

模型检查CSL，直到公式具有随机时间界限。 （英语） Zbl 1065.68595号

Hermanns，Holger（编辑）等人，《过程代数和概率方法》。性能建模和验证。2002年PAPM-PROBMIV第二次联合国际研讨会，丹麦哥本哈根，2002年7月25-26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43913-7）。莱克特。注释计算。科学。2399, 152-168 (2002).
MSC公司：68问题85 60年第68季度 65立方厘米 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2399、152--168（2002年；Zbl 1065.68595）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

概率符号模型检查器。 （英语） Zbl 1047.68533号

Field，Tony（编辑）等人，《计算机性能评估》。建模技术和工具。2002年4月14日至17日，第12届国际会议，TOOLS 2002，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43539-5）。莱克特。注释计算。科学。2324, 200-204 (2002).
MSC公司：68平方米 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2324200--204（2002；Zbl 1047.68533）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

PRISM概率符号模型检验：一种混合方法。 （英语） Zbl 1043.68576号

Katoen，Joost-Pieter（ed.）等人，《系统构建和分析的工具和算法》。第八届国际会议，TACAS 2002。2002年4月8日至12日，作为欧洲软件理论与实践联合会议的一部分，在法国格勒诺布尔举行。柏林：施普林格出版社（ISBN 3-540-43419-4）。莱克特。注释计算。科学。2280, 52-66 (2002).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2280，52-66（2002年；兹比尔1043.68576）
全文： 链接
Joost-Pieter卡托恩；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

更快、符号化的CTMC模型检查。 （英语） Zbl 1007.68517号

De Alfaro，Luca（编辑）等人，过程代数和概率方法。性能建模和验证。2001年9月12日至14日在德国亚琛举行的2001年PAPM-PROBMIV联合国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2165、23-38页（2001年）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。2165，23-38（2001；Zbl 1007.68517）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉

使用cadence SMV和PRISM自动验证随机分布式共识协议。 （英语） Zbl 0991.68503号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 194-206 (2001).
MSC公司：64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2102194-206（2001；Zbl 0991.68503）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普洛斯顿

验证连续概率时间自动机的定量性质。 （英语） Zbl 0999.68125号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 123-137 (2000).
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。1877，123-137（2000；Zbl 0999.68125）
卢卡·德·阿尔法罗；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；罗伯特·塞加拉

使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 （英语） Zbl 0960.68109号

Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 395-410 (2000).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.de Alfaro}等人，Lect。注释计算。科学。1785395-410（2000年；Zbl 0960.68109）
克里斯特尔·拜尔；玛尔塔·奎亚特科夫斯卡；格钦·诺曼

计算并发概率系统上线性时间公式的概率界。 （英语） Zbl 0920.68084号

Baier，Christel（ed.）等人，1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率方法验证国际研讨会（PROBMIV’98）会议记录（第十三届IEEE计算机科学逻辑国际研讨会的卫星活动，LICS’98）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。22，电子文件第5号，（1998年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，摘自：1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率验证方法国际研讨会（PROBMIV’98）会议记录（第十三届IEEE计算机科学逻辑国际研讨会卫星活动，LICS’98）。阿姆斯特丹：爱思唯尔。电子文件编号5（1998；Zbl 0920.68084）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件