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

International Conference on Quantitative Evaluation of Systems最新文献

筛选
英文 中文
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism 非确定性相干分解上概率迹等价的可选表征
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-11-03 DOI: 10.1007/978-3-030-59854-9_5
M. Bernardo
{"title":"Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism","authors":"M. Bernardo","doi":"10.1007/978-3-030-59854-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_5","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126939615","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
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis 多阈值M/M/1休假队列的流体分析
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-11-03 DOI: 10.1007/978-3-030-59854-9_12
Mehmet Akif Yazici, Tuan Phung-Duc
{"title":"M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis","authors":"Mehmet Akif Yazici, Tuan Phung-Duc","doi":"10.1007/978-3-030-59854-9_12","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_12","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115879625","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
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks 随机反应网络的自动深度抽象工具(StochNetV2)
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-08-31 DOI: 10.1007/978-3-030-59854-9_4
D. Repin, Nhat-Huy Phung, Tatjana Petrov
{"title":"StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks","authors":"D. Repin, Nhat-Huy Phung, Tatjana Petrov","doi":"10.1007/978-3-030-59854-9_4","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_4","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125031091","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
SafePILCO: a software tool for safe and data-efficient policy synthesis SafePILCO:一个用于安全和数据高效的政策综合的软件工具
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-08-07 DOI: 10.1007/978-3-030-59854-9_3
Kyriakos Polymenakos, Nikitas Rontsis, A. Abate, S. Roberts
{"title":"SafePILCO: a software tool for safe and data-efficient policy synthesis","authors":"Kyriakos Polymenakos, Nikitas Rontsis, A. Abate, S. Roberts","doi":"10.1007/978-3-030-59854-9_3","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_3","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131038744","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}
引用次数: 5
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version 跟踪深度强化学习和模仿学习之间的竞争-扩展版
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-08-03 DOI: 10.1007/978-3-030-59854-9_2
Timo P. Gros, D. Höller, J. Hoffmann, V. Wolf
{"title":"Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version","authors":"Timo P. Gros, D. Höller, J. Hoffmann, V. Wolf","doi":"10.1007/978-3-030-59854-9_2","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_2","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"14 19-20","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120931565","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
Multi-player Equilibria Verification for Concurrent Stochastic Games 并发随机对策的多参与者均衡验证
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-07-07 DOI: 10.1007/978-3-030-59854-9_7
M. Kwiatkowska, G. Norman, D. Parker, Gabriel Santos
{"title":"Multi-player Equilibria Verification for Concurrent Stochastic Games","authors":"M. Kwiatkowska, G. Norman, D. Parker, Gabriel Santos","doi":"10.1007/978-3-030-59854-9_7","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_7","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114431093","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
Safe Learning for Near-Optimal Scheduling 近乎最优调度的安全学习
International Conference on Quantitative Evaluation of Systems Pub Date : 2020-05-19 DOI: 10.1007/978-3-030-85172-9_13
Damien Busatto-Gaston, D. Chakraborty, Shibashis Guha, Guillermo A. P'erez, Jean-François Raskin
{"title":"Safe Learning for Near-Optimal Scheduling","authors":"Damien Busatto-Gaston, D. Chakraborty, Shibashis Guha, Guillermo A. P'erez, Jean-François Raskin","doi":"10.1007/978-3-030-85172-9_13","DOIUrl":"https://doi.org/10.1007/978-3-030-85172-9_13","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123722725","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
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains 种群连续时间马尔可夫链的边界平均首次通过时间
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-10-28 DOI: 10.1007/978-3-030-59854-9_13
Michael Backenköhler, L. Bortolussi, V. Wolf
{"title":"Bounding Mean First Passage Times in Population Continuous-Time Markov Chains","authors":"Michael Backenköhler, L. Bortolussi, V. Wolf","doi":"10.1007/978-3-030-59854-9_13","DOIUrl":"https://doi.org/10.1007/978-3-030-59854-9_13","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121791953","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
End-User Probabilistic Programming 终端用户概率规划
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_1
J. Borghouts, A. Gordon, Advait Sarkar, N. Toronto
{"title":"End-User Probabilistic Programming","authors":"J. Borghouts, A. Gordon, Advait Sarkar, N. Toronto","doi":"10.1007/978-3-030-30281-8_1","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_1","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":"128972132","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
Neural Network Precision Tuning 神经网络精密调谐
International Conference on Quantitative Evaluation of Systems Pub Date : 2019-09-10 DOI: 10.1007/978-3-030-30281-8_8
A. Ioualalen, M. Martel
{"title":"Neural Network Precision Tuning","authors":"A. Ioualalen, M. Martel","doi":"10.1007/978-3-030-30281-8_8","DOIUrl":"https://doi.org/10.1007/978-3-030-30281-8_8","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"216 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":"115979810","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}
引用次数: 5
首页 上一页 下一页 尾页
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学术官方微信