×

找到340份文件（结果1-100）

最新的 引文 关联
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽

Wordgen：一个定时单词生成工具。 （英语） Zbl 07807957号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023；Zbl 07807957）
全文： DOI程序 哈尔
Van Huijgevoort，Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特

SySCoRe：通过随机耦合关系进行综合。 （英语） Zbl 07807954号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Van Huijgevoort}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号文件，第11页（2023；Zbl 07807954）
全文： DOI程序 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西

随机过程STL需求的保形定量预测监测。 （英语） Zbl 07807942号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第1号文件，第11页（2023）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{F.Cairoli}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2023；Zbl 07807942）
全文： DOI程序 arXiv公司
本杰明·博代斯;帕特里夏·鲍耶;勒鲁（Le Roux，Stéphane）

目标与前缀无关的有限并发博弈中的子博弈最优策略。 （英语） Zbl 07770354号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 541-560 (2023).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bordais}等人，Lect。注释计算。科学。13992、541--560（2023；Zbl 07770354）
全文： DOI程序 arXiv公司
OA许可证
布赖恩特·伊斯雷尔森;兰登·泰勒;张震

化学反应网络中稀土分析的高效痕量生成。 （英语） Zbl 1534.68126号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 83-102 (2023).
MSC公司：68问题85 92立方厘米 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Israelsen}等人，Lect。注释计算。科学。13872，83-102（2023；Zbl 1534.68126）
全文： DOI程序
鲁本·卢比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

QMaude：重写逻辑中的定量规范和验证。 （英语） Zbl 1529.68163号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).
MSC公司：60年第68季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，Lect。注释计算。科学。14000，240-259（2023；Zbl 1529.68163）
全文： DOI程序
马哈提·阿南德;毗湿奴穆拉利;阿舒托什·特里维迪;马吉德·扎马尼

随机系统的k-感应势垒证明。 （英语） Zbl 07807720号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Anand}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022；Zbl 07807720）
全文： DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯

基于回合的随机博弈的符号验证和策略综合。 （英语） 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公司
休伯特·加拉维;弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： DOI程序 哈尔
詹姆斯·C·A·梅因（James C.A.Main）。;米凯尔·兰多尔;杰里米·斯普洛斯顿

有界窗口奇偶目标的定时游戏。 （英语） Zbl 07643434号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 165-182 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.C.A.Main}等人，Lect。注释计算。科学。13465，165--182（2022；Zbl 07643434）
全文： DOI程序 arXiv公司
Surya Sai Teja德苏;阿努巴夫·斯利瓦斯塔瓦;M.V.Panduranga Rao

纠缠交换的模型检查。 （英语） Zbl 07643430号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.S.T.Desu}等人，Lect。注释计算。科学。13465，98-114（2022；Zbl 07643430）
全文： DOI程序
帕特里夏·布耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： DOI程序 arXiv公司
基绍尔州佐提穆鲁甘;苏古曼·班萨尔;奥斯伯特·巴斯塔尼;拉杰夫·阿鲁尔

高社会福利纳什均衡的特定引导学习。 （英语） Zbl 1514.68252号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 343-363 (2022).
MSC公司：68T05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Jothimurugan}等人，Lect。注释计算。科学。13372，343--363（2022；Zbl 1514.68252）
全文： DOI程序 arXiv公司
OA许可证
查塔尼亚·阿加瓦尔;什巴希斯·古哈;简·Křetínsk;巴扎马莱穆鲁甘丹

离散和连续时间MDP中平均收益的PAC统计模型检查。 （英语） Zbl 1514.68113号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 3-25 (2022).
MSC公司：60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Agarwal}等人，Lect。注释计算。科学。13372，3--25（2022；Zbl 1514.68113）
全文： DOI程序 arXiv公司
OA许可证
塞巴斯蒂安·荣格斯;马蒂杰斯·斯帕。

分层概率模型的抽象细化。 （英语） Zbl 1514.68029号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 102-123 (2022).
MSC公司：68甲19 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}和\textit{M.T.J.Spaan}，莱克特。注释计算。科学。13371002-123（2022年；兹比尔1514.68029）
全文： DOI程序 arXiv公司
OA许可证
斯文·施奈德;玛丽亚·马克西莫娃;霍尔格·吉斯

概率度量时序图逻辑。 （英语） Zbl 1514.68147号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 58-76 (2022).
MSC公司：60年第68季度 03B70号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}等人，Lect。注释计算。科学。13349，58-76（2022；Zbl 1514.68147）
全文： DOI程序 arXiv公司 链接
埃希塔·扎曼;吉安弗兰科·西亚多;艾丽卡·阿尔布拉汉姆;博尔祖·博纳克达尔普尔

通过概率分解检查HyperPCTL模型。 （英语） Zbl 1502.68189号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 209-226 (2022).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Zaman}等人，Lect。注释计算。科学。13274、209--226（2022；Zbl 1502.68189）
全文： DOI程序
托比亚斯·温克勒;约翰内斯·莱曼;Joost-Pieter卡托恩

失控：通过控制状态消除减少概率模型。 （英语） Zbl 1498.68176号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 450-472 (2022).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Winkler}等人，Lect。注释计算。科学。13182，450-472（2022；Zbl 1498.68176）
全文： DOI程序 arXiv公司
见鬼，莱纳斯;拼写，Jip;塞巴斯蒂安·荣格斯;约书亚·莫尔曼;Joost-Pieter卡托恩

部分可观测性下随机控制器的渐变。 （英语） Zbl 1498.68159号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 127-150 (2022).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Heck}等人，Lect。注释计算。科学。13182127-150（2022年；Zbl 1498.68159）
全文： DOI程序 arXiv公司
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克

词典编纂规则目标的无模型强化学习。 （英语） Zbl 1521.68121号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 142-159 (2021).
MSC公司：68T05型 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。13047142-159（2021年；兹比尔1521.68121）
全文： DOI程序 链接
穆罕默德·汉南·汗;奥斯曼·哈桑;沙希德·汗

使用GPU加速概率模型检查器中的SpMV乘法。 （英语） Zbl 07500639号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 86-104 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Khan}等人，Lect。注释计算。科学。12819，86-104（2021；Zbl 07500639）
全文： DOI程序
塞巴斯蒂安·荣格斯;尼尔斯·詹森;Sanjit A.Seshia。

在POMDP中实施几乎安全的可达性。 （英语） 兹比尔1493.68213

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 602-625 (2021).
MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}等人，Lect。注释计算。科学。12760、602--625（2021；Zbl 1493.68213）
全文： DOI程序 arXiv公司
OA许可证
史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Sanjit A.Seshia。;盖伊，范登·布勒克

利用概率推理对有限水平马尔可夫链进行模型检验。 （英语） Zbl 1493.68210号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 577-601 (2021).
MSC公司：60年第68季度 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Holtzen}等人，Lect。注释计算。科学。12760577-601（2021年；兹比尔1493.68210）
全文： DOI程序 arXiv公司
OA许可证
塞巴斯蒂安·荣格斯;托法、哈泽姆;Sanjit A.Seshia。

Markov决策过程的运行时监控器。 （英语） Zbl 1493.68214号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 553-576 (2021).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}等人，Lect。注释计算。科学。12760553--576（2021年；Zbl 1493.68214）
全文： DOI程序 arXiv公司
OA许可证
卡琳娜·皮尔奇;斯特凡·舒普;安妮·雷姆克

通过流管道构造优化一类受限随机混合自动机的可达概率。 （英语） Zbl 1491.68102号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 435-456 (2021).
MSC公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Pilch}等人，Lect。注释计算。科学。12846、435--456（2021年；Zbl 1491.68102）
全文： DOI程序
保罗·皮荷;简·希尔斯顿

平滑模型检查中的主动和稀疏方法。 （英语） Zbl 1491.68112号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 217-234 (2021).
MSC公司：60年第68季度 87年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{P.Piho}和\textit{J.Hillston}，莱克特。注释计算。科学。12846，217--234（2021；Zbl 1491.68112）
全文： DOI程序 arXiv公司
阿恩·哈特曼斯;Joost-Pieter卡托恩;科伦，布拉姆;拼写，Jip

在概率时间自动机中调整概率。 （英语） Zbl 1491.68098号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 39-58 (2021).
MSC公司：65年第68季度 60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}等人，莱克特。注释计算。科学。12846，39-58（2021；Zbl 1491.68098）
全文： DOI程序 链接
瑟伦·埃内沃德森;马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;安德斯·马里加德;吉·斯尔巴

通过抽象依赖图验证多人随机游戏。 （英语） Zbl 07496651号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 249-268 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Enevoldsen}等人，Lect。注释计算。科学。12561、249--268（2021；Zbl 07496651）
全文： DOI程序
玛丽亚·马克西莫娃;斯文·施奈德;霍尔格·吉斯

区间概率定时图变换系统。 （英语） Zbl 1492.68071号

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 221-239 (2021).
MSC公司：第68季度第42季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12741、221--239（2021；Zbl 1492.68071）
全文： DOI程序 链接
马可·贝尔纳多

走向双相似性和迹语义的一般公理化。 （英语） Zbl 07415132号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 31-53 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，莱克特。注释计算。科学。12669，31-53（2021；Zbl 07415132）
全文： DOI程序
菲律宾邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃

通过凸代数幂的分布双相似性。 （英语） Zbl 1480.18005号

日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）.
审核人：Ernst-Erich Doberkat（多特蒙德）
MSC公司：18立方厘米 03B42号 87年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005）
全文： arXiv公司 链接
托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨·施罗德

从一般分区细化到加权树自动机最小化。 （英语） Zbl 1519.68126号

正式Asp。计算。 33，编号4-5，695-727（2021）.
MSC公司：65年第68季度 60J20型 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《形式语法》。计算。33，编号4--5，695--727（2021；Zbl 1519.68126）
全文： DOI程序 arXiv公司
OA许可证
蒂姆·夸特曼;Joost-Pieter卡托恩

长期平均和总回报的多目标优化。 （英语） Zbl 1467.68094号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 230-249 (2021).
MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。12651、230-249（2021；Zbl 1467.68094）
全文： DOI程序 arXiv公司
OA许可证
罗马人Andriushchenko;Češka，米兰;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩

概率程序的归纳综合达到了新的境界。 （英语） Zbl 1467.68035号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 191-209 (2021).
MSC公司：68号30 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Andriushchenko}等人，Lect。注释计算。科学。12651、191--209（2021；Zbl 1467.68035）
全文： DOI程序 arXiv公司
OA许可证
拼写，Jip;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩

发现可证明的最优马尔可夫链。 （英语） Zbl 1467.68095号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 173-190 (2021).
MSC公司：60年第68季度 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。注释计算。科学。12651173-190（2021年；兹比尔1467.68095）
全文： DOI程序
OA许可证
玛丽亚·马克西莫娃;斯文·施奈德;霍尔格·吉斯

概率时间图变换系统的组成分析。 （英语） Zbl 1467.68090号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 196-217 (2021).
MSC公司：60年第68季度 第68季度第42季度 93年1月15日 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12649196-217（2021；Zbl 1467.68090）
全文： DOI程序
OA许可证
李念玉;张明月;康，恩苏克;大卫·加兰

用贝叶斯对策设计安全自适应系统。 （英语） Zbl 1467.68019号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 130-151 (2021).
MSC公司：68平方米25 68T05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{N.Li}等人，Lect。注释计算。科学。12649、130--151（2021；Zbl 1467.68019）
全文： DOI程序
OA许可证
马尔科·瓦西奇;大卫·索洛维奇克;萨尔夫拉兹·库希德

暴露的CRNs：系统探索化学反应网络的方法。 （英语） Zbl 1533.68085号

Geary，Cody（编辑）等人，第26届DNA计算和分子编程国际会议。DNA 262020年9月14日至17日，英国牛津，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。174，第4条，第25页（2020年）。
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Vasic}等人，LIPIcs——莱布尼茨国际程序。通知。174，第4条，第25页（2020年；Zbl 1533.68085）
全文： DOI程序 arXiv公司
杰里米·斯普洛斯顿

具有一个时钟和初始化的时钟相关概率的概率时间自动机。 （英语） Zbl 1511.68140号

Gotsman，Alexey（ed.）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 150-168 (2020).
MSC公司：65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。12136，150--168（2020；Zbl 1511.68140）
全文： DOI程序
蒂莫·格罗斯（Timo P.Gros）。;霍尔格·赫尔曼斯;霍夫曼，约格;迈克尔·克劳克;马塞尔·斯坦梅茨

深入的统计模型检查。 （英语） Zbl 1511.68157号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 96-114 (2020).
MSC公司：60年第68季度 60J20型 87年第68季度 68T07型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.P.Gros}等人，Lect。注释计算。科学。12136，96-114（2020；Zbl 1511.68157）
全文： DOI程序
弗洛伦特·德尔格兰奇;Joost-Pieter卡托恩;蒂姆·夸特曼;米凯尔·兰多尔

多目标MDP中的简单策略。 （英语） Zbl 1507.68183号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 346-364 (2020).
MSC公司：60年第68季度 2017年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Delgrange}等人，Lect。注释计算。科学。12078，346--364（2020；Zbl 1507.68183）
全文： DOI程序 arXiv公司
OA许可证
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔

Farkas证书和概率可达性约束的最小见证人。 （英语） Zbl 1507.68187号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187）
全文： DOI程序 arXiv公司
OA许可证
穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库

基于场景的不确定MDP验证。 （英语） Zbl 1507.68182号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 287-305 (2020).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Cubuktepe}等人，Lect。注释计算。科学。12078，287--305（2020；Zbl 1507.68182）
全文： DOI程序 arXiv公司
OA许可证
简·Křetínsk;伊曼纽尔·拉姆尼安图;亚历山大·斯利文斯基;马克西米利安·威宁格

简单随机博弈算法的比较。 （英语） Zbl 07455745号

Raskin，Jean-Francois（ed.）等人，第11届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2020，比利时布鲁塞尔，2020年9月21-22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326131-148（2020）。
MSC公司：60年第68季度 68瓦40 90C20个 91A15型 91年68日
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk \}et al.，电子。程序。西奥。计算。科学。（EPTCS）326131-148（2020；Zbl 07455745）
全文： arXiv公司 链接
沃洛德米尔·斯科贝列夫（Volodymyr G.Skobelev）。;沃洛德米尔·斯库贝列夫五世。

用有限离散时间马尔可夫链分析网络物理系统中的故障。 （英语） Zbl 1469.68009号

计算。科学。J.模具。 28，第3号（84），269-284（2020）.
MSC公司：68米15 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Skobelev}和\textit{V.V.Skoberlev}.计算。科学。J.模具。28，第3号（84），269--284（2020；Zbl 1469.68009）
全文： 链接
巴奇（Edoardo Bacci）;大卫·帕克

安全深度强化学习的概率保证。 （英语） Zbl 07317100号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 231-248 (2020).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Bacci}和\textit{D.Parker}，Lect。注释计算。科学。12288、231--248（2020；Zbl 07317100）
全文： DOI程序 arXiv公司
乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦

通过理性搜索进行精确的定量概率模型检查。 （英语） Zbl 1506.68057号

形式方法系统。设计。 56，编号1-390-126（2020）.
MSC公司：60年第68季度 60J20型 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{U.Mathur}等人，《形式方法系统》。设计。56，编号1--3，90-126（2020；Zbl 1506.68057）
全文： DOI程序
简·Křetínsk;托拜厄斯·梅根多夫

核心：马尔可夫决策过程的部分探索框架。 （英语） Zbl 1534.68105号

日志。方法计算。科学。 16，第4号，第3号论文，31页（2020年）.
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛J.Křetínský｝和\textit｛T.Meggendorfer｝，日志。方法计算。科学。16，第4号，第3号论文，31页（2020年；Zbl 1534.68105）
全文： arXiv公司 链接
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因

参数马尔可夫链：PCTL复杂性和无分数高斯消去。 （英语） Zbl 1443.68101号

Inf.计算。 272，文章ID 104504，26 p.（2020）.
MSC公司：60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，《信息计算》。272，文章ID 104504，26 p.（2020；Zbl 1443.68101）
全文： DOI程序 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克

基于回合的概率实时游戏的验证和控制。 （英语） 兹伯利07817560

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 379-396 (2019).
MSC公司：60年第68季度 87年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。11760、379--396（2019；Zbl 07817560）
全文： DOI程序 arXiv公司
穆春燕

安全系统的自动游戏理论验证。 （英语） Zbl 07817524号

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 239-256 (2019).
MSC公司：68平方米25 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.Mu}，莱克特。注释计算。科学。11785，239--256（2019；Zbl 07817524）
全文： DOI程序 链接
扬尼克·希尔斯;卡琳娜·皮尔奇;Patricia辛克;乔安娜·德里卡利斯;安妮·雷姆克

具有多重随机触发的混合Petri网的状态空间构造。 （英语） 兹伯利07817520

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 182-199 (2019).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hüls}等人，Lect。注释计算。科学。11785182-199（2019年；兹bl 07817520）
全文： DOI程序 arXiv公司
普拉纳夫·阿肖克;托马斯·布拉兹迪尔;克里希南德·查特吉;简·Křetínsk;克里斯托夫·兰伯特。;维克托·托曼

基于线性分类器的决策树策略表示。 （英语） Zbl 07817515号

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的2019年QEST第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 109-128 (2019).
MSC公司：60年第68季度 68第05页 87年第68季度 68T05型 90立方厘米 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Ashok}等人，Lect。注释计算。科学。11785、109-128（2019；Zbl 07817515）
全文： DOI程序 arXiv公司
吉尔达斯·库科;何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特

用于精确验证可达性的LMP的有限近似。 （英语） 兹伯利07817512

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 70-87 (2019).
MSC公司：60年第68季度 60J28型 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛G.Kouko｝等人，Lect。注释计算。科学。11785，70-87（2019；Zbl 07817512）
全文： DOI程序
阿恩·哈特曼斯;霍尔格·赫尔曼斯

适度的马尔可夫自动机教程。 （英语） Zbl 07817425号

Krötzsch，Markus（编辑）等人，《推理网络》。可解释的人工智能。2019年9月20日至24日，意大利博尔扎诺，2019年第15届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11810, 250-276 (2019).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}和\textit{H.Hermanns}，莱克特。注释计算。科学。11810250-276（2019年；Zbl 07817425）
全文： DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯

并发随机博弈的基于均衡的概率模型检验。 （英语） Zbl 07817381号

ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11800, 298-315 (2019).
MSC公司：60年第68季度 68问题85 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。11800，298--315（2019；Zbl 07817381）
全文： DOI程序 arXiv公司 链接
科什卡，米兰;Hensel，基督徒;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩

概率程序草图的反例驱动综合。 （英语） Zbl 07817367号

ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11800, 101-120 (2019).
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.采什卡}等人，Lect。注释计算。科学。11800，101-120（2019；Zbl 07817367）
全文： DOI程序 arXiv公司
扬尼克·希尔斯;安妮·雷姆克

多维模型检查HPnG：将状态集表示为凸多面体。 （英语） Zbl 1533.68192号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 148-166 (2019).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hüls}和\textit{A.Remke}，莱克特。注释计算。科学。11535148-166（2019年；Zbl 1533.68192）
全文： DOI程序 哈尔
纳塔莉·伯特兰;伊戈尔·康诺夫;玛丽亚娜·拉齐奇;约瑟夫·威德

在圆形对手下验证随机一致性算法。 （英语） Zbl 07649941号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第33条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛N.Bertrand｝等人，LIPIcs——莱布尼茨国际期刊。通知。140，第33条，第15页（2019年；Zbl 07649941）
全文： DOI程序
克里希南德·查特吉;尼尔·皮特曼

随机平价博弈的定性获胜组合。 （英语） 兹伯利07649914

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第6条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{N.Piterman}，LIPIcs——莱布尼茨国际程序。通知。140，第6条，第17页（2019；Zbl 07649914）
全文： DOI程序 arXiv公司
简·Křetínsk;托拜厄斯·梅根多夫

核心：马尔可夫决策过程的部分探索框架。 （英语） Zbl 1534.68106号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第5条，第17页（2019年）。
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk曬}和\textit{T.Meggendorfer}，LIPIcs——莱布尼茨国际程序。通知。140，第5条，第17页（2019年；Zbl 1534.68106）
全文： DOI程序
王迪;简·霍夫曼;代表，托马斯

具有不确定性的低级概率程序的指称语义。 （英语） Zbl 07515966号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 303-324 (2019).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Wang}等人，Electron。注释Theor。计算。科学。347303--324（2019年；Zbl 07515966）
全文： DOI程序
拼写，Jip;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩

参数马尔可夫链是单调的吗？ （英语） Zbl 1437.68121号

Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 479-496 (2019).
MSC公司：60年第68季度 60J10型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。注释计算。科学。11781479--496（2019年；Zbl 1437.68121）
全文： DOI程序 arXiv公司
埃齐奥·巴托西;劳拉·科瓦奇;米罗斯拉夫斯坦科维奇

基于矩的不变量的自动生成，用于prob-solved循环。 （英语） Zbl 1437.68041号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 255-276 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Bartocci}等人，Lect。注释计算。科学。11781255-276（2019年；Zbl 1437.68041）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件