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

International Conference on Quantitative Evaluation of Systems最新文献

筛选
英文 中文
Automated Game-Theoretic Verification of Security Systems 安全系统的自动博弈论验证
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_14
C. Mu
{"title":"Automated Game-Theoretic Verification of Security Systems","authors":"C. Mu","doi":"10.1007/978-3-030-30281-8_14","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_14","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115590971","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}
引用次数: 0
Finite Approximation of LMPs for Exact Verification of Reachability Properties 精确验证可达性的LMPs有限逼近
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_5
Gildas Kouko, Josée Desharnais, François Laviolette
{"title":"Finite Approximation of LMPs for Exact Verification of Reachability Properties","authors":"Gildas Kouko, Josée Desharnais, François Laviolette","doi":"10.1007/978-3-030-30281-8_5","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_5","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"3 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113932558","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}
引用次数: 0
Safety Guarantees for the Electricity Grid with Significant Renewables Generation 可再生能源发电规模较大的电网安全保障
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_19
Andrea Peruffo, E. Guiu, P. Panciatici, A. Abate
{"title":"Safety Guarantees for the Electricity Grid with Significant Renewables Generation","authors":"Andrea Peruffo, E. Guiu, P. Panciatici, A. Abate","doi":"10.1007/978-3-030-30281-8_19","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_19","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130940445","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
UTOPIC: Under-Approximation Through Optimal Control 乌托邦:通过最优控制的欠逼近
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_16
J. Doncel, Nicolas Gast, M. Tribastone, Max Tschaikowski, Andrea Vandin
{"title":"UTOPIC: Under-Approximation Through Optimal Control","authors":"J. Doncel, Nicolas Gast, M. Tribastone, Max Tschaikowski, Andrea Vandin","doi":"10.1007/978-3-030-30281-8_16","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_16","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127896528","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
The Logical Path to Autonomous Cyber-Physical Systems 自主信息物理系统的逻辑路径
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_2
André Platzer
{"title":"The Logical Path to Autonomous Cyber-Physical Systems","authors":"André Platzer","doi":"10.1007/978-3-030-30281-8_2","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_2","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116833139","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
Bayesian Abstraction of Markov Population Models 马尔可夫人口模型的贝叶斯抽象
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_15
L. Bortolussi, Francesca Cairoli
{"title":"Bayesian Abstraction of Markov Population Models","authors":"L. Bortolussi, Francesca Cairoli","doi":"10.1007/978-3-030-30281-8_15","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_15","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116946563","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
Model Checking Constrained Markov Reward Models with Uncertainties 具有不确定性的约束马尔可夫奖励模型的模型检验
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_3
Giovanni Bacci, Mikkel Hansen, K. Larsen
{"title":"Model Checking Constrained Markov Reward Models with Uncertainties","authors":"Giovanni Bacci, Mikkel Hansen, K. Larsen","doi":"10.1007/978-3-030-30281-8_3","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_3","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123154716","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
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets 大解:(马尔科夫再生)随机Petri网的工具集成
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_21
E. Amparore, P. Buchholz, S. Donatelli
{"title":"Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets","authors":"E. Amparore, P. Buchholz, S. Donatelli","doi":"10.1007/978-3-030-30281-8_21","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_21","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132334431","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
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes 不确定马尔可夫决策过程数据有效性验证的贝叶斯自适应规划
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_6
V. B. Wijesuriya, A. Abate
{"title":"Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes","authors":"V. B. Wijesuriya, A. Abate","doi":"10.1007/978-3-030-30281-8_6","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_6","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131581587","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
A Modest Approach to Modelling and Checking Markov Automata 马尔可夫自动机建模与检验的一种适度方法
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_4
Y. Butkova, A. Hartmanns, H. Hermanns
{"title":"A Modest Approach to Modelling and Checking Markov Automata","authors":"Y. Butkova, A. Hartmanns, H. Hermanns","doi":"10.1007/978-3-030-30281-8_4","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_4","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128335579","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信