×

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

最新的 引文 关联
汤姆·巴丁斯；利西奥·罗芒；亚历山德罗·阿巴特；大卫·帕克；哈桑·普纳瓦拉（Hasan A.Poonawala）。；玛丽尔·斯托琳加；尼尔斯·詹森

基于形式化抽象的非高斯噪声动态系统鲁棒控制。 （英语） Zbl 1508.93279号

J.阿蒂夫。智力。研究（JAIR） 76, 341-391 (2023).
MSC公司：93E03型 93B35型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Badings}等人，J.Artif。智力。研究（JAIR）76，341--391（2023；Zbl 1508.93279）
全文： 内政部 arXiv公司
汉斯·约尔格·克鲁斯基；萨宾·库斯克；Lye，亚伦；阿尔乔沙·温得霍斯特

证明NP问题之间约简正确性的图形变换方法。 （英语） Zbl 07806735号

Heckel，Reiko（编辑）等人，《第十三届图形计算模型国际研讨会论文集》，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37476-93（2022年）。
MSC公司：68倍 90倍X
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Krowski}等人，《电子》。程序。西奥。计算。科学。（EPTCS）374，76--93（2022；Zbl 07806735）
全文： arXiv公司 链接
穆罕默德·阿卜杜勒甘尼；索菲涅·塔哈尔

使用HOL定理证明对功能框图进行形式化。 （英语） Zbl 1528.68395号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 22-35 (2022).
MSC公司：68V20型 68米15 90秒25
PDF格式BibTeX公司 XML格式引用
\textit{M.Abdelghany}和\textit{S.Tahar}，莱克特。注释计算。科学。13768，22-35（2022；Zbl 1528.68395）
全文： 内政部
拼写，Jip；斯文加·斯坦因；Joost-Pieter卡托恩

具有最佳预算的POMDP控制器。 （英语） Zbl 1522.68346号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 107-130 (2022).
MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。注释计算。科学。13479，107-130（2022；Zbl 1522.68346）
全文： 内政部
马丁·塔普勒；埃迪·穆什卡丁；艾切尔尼格，伯恩哈德·K。；药丸，印戈

随机反应系统的主动模型学习。 （英语） Zbl 1522.68348号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 481-500 (2021).
MSC公司：60年第68季度 68问题32 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Tappler}等人，Lect。注释计算。科学。13085、481--500（2021；Zbl 1522.68348）
全文： 内政部
塞巴斯蒂安·荣格斯；托法、哈泽姆；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）
全文： 内政部 arXiv公司
康斯坦丁·斯莱茨基；德米特里·耶尔索夫；Tichakorn的Wongpiromsarn；埃米利奥·弗雷佐利

分层多目标最短路径问题。 （英语） Zbl 1469.68103号

Steven M.Lavalle（编辑）等人，机器人算法基础XIV。机器人算法基础第十四次研讨会论文集。查姆：斯普林格。Springer程序。高级机器人。17, 261-276 (2021).
MSC公司：68T20型 68瓦40 90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{K.Slutsky}等人，Springer Proc。高级机器人。17、261--276（2021年；Zbl 1469.68103）
全文： 内政部
马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；乔瓦尼·巴奇；玛丽亚·艾希塞德；Larsen，Kim G。

\基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 （英语） Zbl 1519.68106号

正式Asp。计算。 33，编号4-5，575-615（2021）.
MSC公司：68问题32 65年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Tappler}等人，正式Asp。计算。33，编号4-5575-615（2021；兹bl 1519.68106）
全文： 内政部 arXiv公司
弗拉维奥·科拉迪尼；安德烈亚·莫里切塔；基亚拉·穆齐；Re，芭芭拉；弗朗西斯科·蒂齐

良好的结构、安全性和可靠性：BPMN协作的正式分类。 （英语） Zbl 1458.90393号

J.日志。阿尔盖布。方法计划。 119，文章ID 100630，41 p.（2021）.
MSC公司：90B50型 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{F.Corradini}等人，J.Log。阿尔盖布。方法程序。119，文章ID 100630，41 p.（2021；Zbl 1458.90393）
全文： 内政部
蒂莫·格罗斯（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）
全文： 内政部
穆拉特·库布克特佩；尼尔斯·詹森；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩；托普库，乌福

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

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 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）
全文： 内政部 arXiv公司
马图尔，乌芒；马修·鲍尔。；罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦

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

形式方法系统。设计。 56，编号1-3，90-126（2020）.
MSC公司：60年第68季度 60J20型 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{U.Mathur}等人，《形式方法系统》。设计。56，编号1--3，90-126（2020；Zbl 1506.68057）
全文： 内政部
塞巴斯蒂安·荣格斯；尼尔斯·詹森；Joost-Pieter卡托恩；托普库，乌福；张若翰；玛丽·海荷

人类安全航行的模型检查。 （英语） Zbl 1514.68136号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 207-222 (2018).
MSC公司：60年第68季度 68T05型 68T42型 90立方厘米 93甲16 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}等人，Lect。注释计算。科学。11024，207--222（2018；Zbl 1514.68136）
全文： 内政部
塞巴斯蒂安·阿明；埃齐奥·巴托西；克里希南德·查特吉；Joost-Pieter卡托恩；安娜·索科洛娃

通过POMDP实现pMDP的参数无关策略。 （英语） Zbl 1514.68190号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 53-70 (2018).
MSC公司：87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Arming}等人，Lect。注释计算。科学。11024，53-70（2018；Zbl 1514.68190）
全文： 内政部 arXiv公司
西恩·盖斯勒；安妮·E·哈克斯豪森。

分布式联锁系统的逐步开发和模型检查–使用RAISE。 （英语） Zbl 1460.68060号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 277-293 (2018).
MSC公司：60年第68季度 90B20型 93磅70
PDF格式BibTeX公司 XML格式引用
\textit｛S.Geisler｝和\textit｛A.E.Haxthausen｝，Lect。注释计算。科学。10951、277--293（2018；Zbl 1460.68060）
全文： 内政部 链接
伊凡·埃姆齐瓦特；贝诺·德拉哈耶；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

概率时间Petri网。 （英语） Zbl 1346.68131号

Kordon，Fabrice（ed.）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。
MSC公司：68问题85 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Emzivat}等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131）
全文： 内政部
吉安卢卡·阿马托；弗朗西丝卡·斯科扎里；埃纳州扎法内拉

从多面体的双重描述中高效地删除约束/生成器。 （英语） Zbl 1337.68262号

Simon，Axel（编辑）等人，《第五届数字和符号抽象域国际研讨会论文集》，2014年国家科学院，德国慕尼黑，2014年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记307，3-15，仅电子版（2014）。
MSC公司：68单位05 52磅12 52B55号 90C57型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{G.Amato}等人，《电子》。注释Theor。计算。科学。307、3--15（2014年；Zbl 1337.68262）
全文： 内政部
尤金尼奥·罗内斯·洛扎诺；何塞·安东尼奥·阿隆索；安东尼奥·埃尔南多

铁路联锁系统中从答案集规划到决策的一种方法。 （英语） Zbl 1304.90063号

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 108，第2期，973-987（2014）.
MSC公司：90B20型 68N17号 03B70号 93A30型
PDF格式BibTeX公司 XML格式引用
\textit｛E.Roanes Lozano｝等人，R.Acad牧师。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 108，No.2，973--987（2014；Zbl 1304.90063）
全文： 内政部
何塞·安东尼奥·马特奥；吉·斯尔巴；瑟伦森，马蒂亚斯·格兰德

时间弧工作流网络的健全性。 （英语） Zbl 1334.90064号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-07733-8/pbk）。《计算机科学讲义》8489，51-70（2014）。
MSC公司：90B70型 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Mateo}等人，Lect。注释计算。科学。8489、51-70（2014年；Zbl 1334.90064）
全文： 内政部
van Dongen，Boudewijn F。；德塞尔，约格；Wil M.P.范德阿尔斯特。

将因果运行聚合到工作流网络中。 （英语） Zbl 1377.68154号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型上的事务》。六、 柏林：施普林格出版社（ISBN 978-3-642-35178-5/pbk）。计算机科学7400课堂讲稿。《期刊副刊》，334-363（2012）。
MSC公司：68问题85 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{B.F.van Dongen}等人，Lect。注释计算。科学。7400，334--363（2012；Zbl 1377.68154）
全文： 内政部
伊贡博格尔

面向主题的软件设计方法和抽象状态机方法。 （英语） Zbl 1312.68071号

Düsterhöft，Antje（ed.）等人，《概念建模及其理论基础》。在伯恩哈德·塔尔海姆60岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 978-3-642-28278-2/pbk）。计算机科学讲义7260，52-72（2012）。
MSC公司：68N99型 2005年第68季度 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{E.Börger}，莱克特。注释计算。科学。7260，52-72（2012；Zbl 1312.68071）
全文： 内政部
陈、陶璐；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯

使用概率模型检查验证团队组建协议。 （英语） Zbl 1348.68255号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。《人工智能课堂讲稿》，190-207年（2011年）。
MSC公司：68T42型 60J20型 60年第68季度 87年第68季度 90立方厘米 91A15型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。6814、190--207（2011；Zbl 1348.68255）
全文： 内政部
埃齐奥·巴托西；拉杜·格罗苏；Katsaros，Panagiotis公司；罗摩克里希南。；斯科特·斯莫尔卡。

概率系统的模型修复。 （英语） Zbl 1316.68070号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605326-340（2011）。
MSC公司：60年第68季度 87年第68季度 90立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Bartocci}等人，Lect。注释计算。科学。6605326--340（2011年；Zbl 1316.68070）
全文： 内政部
克里斯特尔·拜尔；马库斯·格勒；Frank Ciesinski先生

概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。定理。计算。科学。，EATCS系列。，519-570 (2009).
MSC公司：60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，《加权自动机手册》。柏林：斯普林格。519-570（2009年；兹比尔1484.68095）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件