发布求助
文献互助 智能选刊 最新文献

Model Checking and Artificial Intelligence最新文献

筛选
英文 中文
Program Model Checking via Action Planning 通过行动计划检查程序模型
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_3
S. Edelkamp, Mark Kellershoff, Damian Sulewski
{"title":"Program Model Checking via Action Planning","authors":"S. Edelkamp, Mark Kellershoff, Damian Sulewski","doi":"10.1007/978-3-642-20674-0_3","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_3","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121666143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Symbolic Model Checking the Knowledge in Herbivore Protocol 草食协议中知识的符号模型检验
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_8
Xiangyu Luo, Kaile Su, M. Gu, Lijun Wu, Jinji Yang
{"title":"Symbolic Model Checking the Knowledge in Herbivore Protocol","authors":"Xiangyu Luo, Kaile Su, M. Gu, Lijun Wu, Jinji Yang","doi":"10.1007/978-3-642-20674-0_8","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_8","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"168-169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132993054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
The Blowup in Translating LTL to Deterministic Automata LTL转换为确定性自动机的问题
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_6
O. Kupferman, A. Rosenberg
{"title":"The Blowup in Translating LTL to Deterministic Automata","authors":"O. Kupferman, A. Rosenberg","doi":"10.1007/978-3-642-20674-0_6","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_6","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128576302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction 基于抽象的多智能体系统资源需求自动验证
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_5
N. Alechina, B. Logan, N. H. Nga, A. Rakib
{"title":"Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction","authors":"N. Alechina, B. Logan, N. H. Nga, A. Rakib","doi":"10.1007/978-3-642-20674-0_5","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_5","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"215 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124243329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU GPU上具有延迟重复检测的外部内存宽度优先搜索
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_2
S. Edelkamp, Damian Sulewski
{"title":"External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU","authors":"S. Edelkamp, Damian Sulewski","doi":"10.1007/978-3-642-20674-0_2","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_2","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114371085","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Automatic Data-Abstraction in Model Checking Multi-Agent Systems 模型检测多智能体系统中的自动数据抽象
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_4
A. Lomuscio, Hongyang Qu, F. Russo
{"title":"Automatic Data-Abstraction in Model Checking Multi-Agent Systems","authors":"A. Lomuscio, Hongyang Qu, F. Russo","doi":"10.1007/978-3-642-20674-0_4","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_4","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127532812","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Planning with Incomplete Information - (Invited Paper) 资料不全的规划-(邀请文件)
Model Checking and Artificial Intelligence Pub Date : 2010-07-11 DOI: 10.1007/978-3-642-20674-0_1
Hector Geffner
{"title":"Planning with Incomplete Information - (Invited Paper)","authors":"Hector Geffner","doi":"10.1007/978-3-642-20674-0_1","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_1","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133434201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic 一种公平分支时间时态认知逻辑的改进有界模型检验
Model Checking and Artificial Intelligence Pub Date : 2010-05-10 DOI: 10.1007/978-3-642-20674-0_7
Xiaowei Huang, Cheng Luo, R. V. D. Meyden
{"title":"Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic","authors":"Xiaowei Huang, Cheng Luo, R. V. D. Meyden","doi":"10.1007/978-3-642-20674-0_7","DOIUrl":"https://doi.org/10.1007/978-3-642-20674-0_7","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126124884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic 时间认知逻辑模型检验的偏序约简研究
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_7
A. Lomuscio, W. Penczek, Hongyang Qu
{"title":"Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic","authors":"A. Lomuscio, W. Penczek, Hongyang Qu","doi":"10.1007/978-3-642-00431-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_7","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129815717","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Relaxation Refinement: A New Method to Generate Heuristic Functions 松弛细化:一种生成启发式函数的新方法
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_10
J. Smaus, J. Hoffmann
{"title":"Relaxation Refinement: A New Method to Generate Heuristic Functions","authors":"J. Smaus, J. Hoffmann","doi":"10.1007/978-3-642-00431-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_10","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125506523","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信