×

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

最新的 引文 关联
Kwiatkowska，Marta Z。

具有可证明保证的深度神经网络的安全验证（特邀论文）。 （英语） Zbl 07649909号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第1条，第5页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Z.Kwiatkowska}，LIPIcs——莱布尼茨国际程序。通知。140，第1条，第5页（2019年；Zbl 07649909）
全文： DOI程序
纳塔利·考奇；卢卡·劳伦蒂；Morteza拉希贾尼扬；亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；卢卡·卡德利

通过不确定性提高效率：随机混合系统的可扩展形式综合。 （英语） Zbl 07120160号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。240-251 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Cauchi}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。240-251（2019年；Zbl 07120160）
全文： DOI程序 arXiv公司
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

线性定价概率时间自动机的符号验证和策略综合。 （英语） 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）
全文： DOI程序 链接
巴伯，贝诺；尼古拉斯·巴塞特；马克·比昂纳多；玛尔塔·奎亚特科夫斯卡

时间自动机的统一采样及其在语言包含性测量中的应用。 （英语） Zbl 1377.68126号

Agha，Gul（编辑）等人，《系统的定量评估》。第13届国际会议，2016年QEST，加拿大魁北克市，QC，2016年8月23日至25日。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲座笔记9826175-190（2016）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，Lect。注释计算。科学。9826、175--190（2016年；Zbl 1377.68126）
全文： DOI程序 链接
巴伯，贝诺；玛尔塔·奎亚特科夫斯卡；亚历山大·梅雷克莱；尼古拉·保莱蒂

根据可执行的定时I/O自动机规范构建功耗模型。 （英语） Zbl 1366.68196号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。195-204 (2016).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Barbot｝等人，《第19届ACM混合系统国际会议论文集：计算与控制》，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。195-204（2016年；兹比尔1366.68196）
全文： DOI程序
亚历克桑德拉·约瓦诺维奇；玛尔塔·奎亚特科夫斯卡

基于随机博弈抽象的概率时间自动机参数综合。 （英语） Zbl 1393.68095号

Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。计算机科学课堂讲稿8762176-189（2014）。
MSC公司：65年第68季度 60年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{A.Jovanović}和\textit{M.Kwiatkowska}，莱克特。注释计算。科学。8762、176--189（2014；Zbl 1393.68095）
全文： DOI程序 链接
韩婷婷；克里斯蒂安·克劳斯；玛尔塔·奎亚特科夫斯卡；霍尔格·吉斯

概率定时系统的模态规范。 （英语） Zbl 1464.68205号

Bortolussi，Luca（ed.）等人，第11届编程语言和系统定量方面国际研讨会论文集，意大利罗马，2013年3月23日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）11766-80（2013）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Han}等人，《电子》。程序。西奥。计算。科学。（EPTCS）117、66--80（2013；Zbl 1464.68205）
全文： arXiv公司 链接
克里斯·奇尔顿；玛尔塔·奎亚特科夫斯卡；王旭

重新审视时间规范理论：线性时间视角。 （英语） Zbl 1374.68274号

Jurdziñski，Marcin（ed.）等人，时间系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿7595，75-90（2012）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Chilton}等人，Lect。注释计算。科学。7595，75-90（2012年；兹bl 1374.68274）
全文： DOI程序 arXiv公司
陈韬略；克里斯·奇尔顿；本特·琼森；玛尔塔·奎亚特科夫斯卡

组件行为的组合规范理论。 （英语） Zbl 1352.68149号

Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会（ESOP 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28868-5/pbk）。计算机科学讲义7211，148-168（2012）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。7211，148--168（2012；Zbl 1352.68149）
全文： DOI程序
冯、鲁；韩婷婷；玛尔塔·奎亚特科夫斯卡；大卫·帕克

同步概率系统基于学习的组合验证。 （英语） Zbl 1348.68135号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996511-521（2011）。
MSC公司：60年第68季度 60J20型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Feng}等人，Lect。注释计算。科学。6996、511--521（2011；Zbl 1348.68135）
全文： DOI程序 哈尔
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）
全文： DOI程序
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳

概率系统的假设保证验证。 （英语） 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）
全文： DOI程序
王富之；玛尔塔·奎亚特科夫斯卡

基于MTBDD的概率时间自动机前向可达性实现。 （英语） Zbl 1170.68531号

Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707385-399（2005）。
MSC公司：60年第68季度 2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Wang}和\textit{M.Kwiatkowska}，Lect。注释计算。科学。3707385-399（2005年；Zbl 1170.68531）
全文： DOI程序
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；杰里米·斯普鲁斯顿；王富之

概率时间自动机的符号模型检验。 （英语） 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）
全文： DOI程序
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普鲁斯顿

验证连续概率时间自动机的定量性质。 （英语） 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）
Kwiatkowska，M。；D.贝利德。；彭泽克，W。

部分顺序时间属性的层次结构。 （英语） Zbl 0949.68537号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).
MSC公司：60年第68季度 68问题55 03B44号 65年第68季度 05年5月54日
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。827398-414（1994年；Zbl 0949.68537）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件