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

Model Checking and Artificial Intelligence最新文献

筛选
英文 中文
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 用于安全分析、诊断和综合的符号模型检查框架
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_1
P. Bertoli, M. Bozzano, A. Cimatti
{"title":"A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis","authors":"P. Bertoli, M. Bozzano, A. Cimatti","doi":"10.1007/978-3-540-74128-2_1","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_1","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121840549","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
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL 基于谓词抽象的UPPAAL启发式函数生成
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_4
J. Hoffmann, J. Smaus, A. Rybalchenko, S. Kupferschmid, A. Podelski
{"title":"Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL","authors":"J. Hoffmann, J. Smaus, A. Rybalchenko, S. Kupferschmid, A. Podelski","doi":"10.1007/978-3-540-74128-2_4","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_4","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126797509","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}
引用次数: 18
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation 有界模型检测具有时钟差异的实时多智能体系统:理论与实现
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_7
A. Lomuscio, B. Wozna, A. Zbrzezny
{"title":"Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation","authors":"A. Lomuscio, B. Wozna, A. Zbrzezny","doi":"10.1007/978-3-540-74128-2_7","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_7","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121398209","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 of Logics with Actions 带有动作的逻辑符号模型检验
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_8
C. Pecheur, F. Raimondi
{"title":"Symbolic Model Checking of Logics with Actions","authors":"C. Pecheur, F. Raimondi","doi":"10.1007/978-3-540-74128-2_8","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_8","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128439622","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}
引用次数: 57
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning 用强化学习检查并发系统的活跃性
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_6
Tadashi Araragi, S. Cho
{"title":"Checking Liveness Properties of Concurrent Systems by Reinforcement Learning","authors":"Tadashi Araragi, S. Cho","doi":"10.1007/978-3-540-74128-2_6","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_6","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"220 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122853214","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}
引用次数: 10
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 模型检验与人工智能，第4届研讨会，MoChArt IV, Riva del Garda，意大利，2006年8月29日，修订稿
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2
A. Lomuscio, S. Edelkamp
{"title":"Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers","authors":"A. Lomuscio, S. Edelkamp","doi":"10.1007/978-3-540-74128-2","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128740145","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}
引用次数: 53
Distributed Extended Beam Search for Quantitative Model Checking 定量模型检验的分布式扩展光束搜索
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_11
Anton Wijs, B. Lisser
{"title":"Distributed Extended Beam Search for Quantitative Model Checking","authors":"Anton Wijs, B. Lisser","doi":"10.1007/978-3-540-74128-2_11","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_11","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126049095","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}
引用次数: 15
Real-Time Model Checking on Secondary Storage 二级存储实时模型检查
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_5
S. Edelkamp, S. Jabbar
{"title":"Real-Time Model Checking on Secondary Storage","authors":"S. Edelkamp, S. Jabbar","doi":"10.1007/978-3-540-74128-2_5","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_5","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133124827","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
Automated Creation of Pattern Database Search Heuristics 模式数据库搜索启发式的自动创建
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_3
S. Edelkamp
{"title":"Automated Creation of Pattern Database Search Heuristics","authors":"S. Edelkamp","doi":"10.1007/978-3-540-74128-2_3","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_3","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124960070","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}
引用次数: 51
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata 基于sat的安全协议转换到自动机网络的验证
Model Checking and Artificial Intelligence Pub Date : 2007-02-01 DOI: 10.1007/978-3-540-74128-2_10
M. Kurkowski, W. Penczek, A. Zbrzezny
{"title":"SAT-Based Verification of Security Protocols Via Translation to Networks of Automata","authors":"M. Kurkowski, W. Penczek, A. Zbrzezny","doi":"10.1007/978-3-540-74128-2_10","DOIUrl":"https://doi.org/10.1007/978-3-540-74128-2_10","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122812722","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术官方微信