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

International Symposium on Software Engineering: Theories, Tools, and Applications最新文献

筛选
英文 中文
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking COOL-MC:一个用于强化学习和模型检查的综合工具
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2022-09-15 DOI: 10.48550/arXiv.2209.07133
Dennis Gross, N. Jansen, Sebastian Junges, G. Pérez
{"title":"COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking","authors":"Dennis Gross, N. Jansen, Sebastian Junges, G. Pérez","doi":"10.48550/arXiv.2209.07133","DOIUrl":"https://doi.org/10.48550/arXiv.2209.07133","url":null,"abstract":". This paper presents COOL-MC, a tool that integrates state-of-the-art reinforcement learning (RL) and model checking. Specifically, the tool builds upon the OpenAI gym and the probabilistic model checker Storm. COOL-MC provides the following features: (1) a simulator to train RL policies in the OpenAI gym for Markov decision processes (MDPs) that are defined as input for Storm, (2) a new model builder for Storm, which uses callback functions to verify (neural network) RL policies, (3) formal abstractions that relate models and policies specified in OpenAI gym or Storm, and (4) algorithms to obtain bounds on the performance of so-called permissive policies. We describe the components and architecture of COOL-MC and demonstrate its features on multiple benchmark environments.","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125881930","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}
引用次数: 2
Formal Analysis of 5G AKMA 5G AKMA的形式分析
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2022-03-01 DOI: 10.1007/978-3-030-91265-9_6
Teng-Kuci Yang, Shuling Wang, Bohua Zhan, N. Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
{"title":"Formal Analysis of 5G AKMA","authors":"Teng-Kuci Yang, Shuling Wang, Bohua Zhan, N. Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao","doi":"10.1007/978-3-030-91265-9_6","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_6","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116734893","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}
引用次数: 2
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics 基于大步语义的迭代与递归统一推理
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2021-08-04 DOI: 10.1007/978-3-030-91265-9_4
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
{"title":"Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics","authors":"Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan","doi":"10.1007/978-3-030-91265-9_4","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_4","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124282647","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
EqFix: Fixing LaTeX Equation Errors by Examples EqFix:通过示例修复LaTeX方程错误
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2021-07-01 DOI: 10.1007/978-3-031-21213-0_7
Fengmin Zhu, Fei He
{"title":"EqFix: Fixing LaTeX Equation Errors by Examples","authors":"Fengmin Zhu, Fei He","doi":"10.1007/978-3-031-21213-0_7","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0_7","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129275511","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
A Distributed Simplex Architecture for Multi-Agent Systems 多智能体系统的分布式单纯形体系结构
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2020-12-18 DOI: 10.1007/978-3-030-91265-9_13
Usama Mehmood, S. Stoller, R. Grosu, Shouvik Roy, Amol Damare, S. Smolka
{"title":"A Distributed Simplex Architecture for Multi-Agent Systems","authors":"Usama Mehmood, S. Stoller, R. Grosu, Shouvik Roy, Amol Damare, S. Smolka","doi":"10.1007/978-3-030-91265-9_13","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_13","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132434060","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
Mixed Criticality Scheduling of Probabilistic Real-Time Systems 概率实时系统的混合临界调度
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2019-11-27 DOI: 10.1007/978-3-030-35540-1_6
Jasdeep Singh, L. Santinelli, F. Reghenzani, K. Bletsas, D. Doose, Zhishan Guo
{"title":"Mixed Criticality Scheduling of Probabilistic Real-Time Systems","authors":"Jasdeep Singh, L. Santinelli, F. Reghenzani, K. Bletsas, D. Doose, Zhishan Guo","doi":"10.1007/978-3-030-35540-1_6","DOIUrl":"https://doi.org/10.1007/978-3-030-35540-1_6","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132559930","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
A Verified Specification of TLSF Memory Management Allocator Using State Monads 使用状态单子的TLSF内存管理分配器的验证规范
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2019-11-27 DOI: 10.1007/978-3-030-35540-1_8
Yu Zhang, Yongwang Zhao, David Sanán, L. Qiao, Jinkun Zhang
{"title":"A Verified Specification of TLSF Memory Management Allocator Using State Monads","authors":"Yu Zhang, Yongwang Zhao, David Sanán, L. Qiao, Jinkun Zhang","doi":"10.1007/978-3-030-35540-1_8","DOIUrl":"https://doi.org/10.1007/978-3-030-35540-1_8","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133587734","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
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms Flash转换层算法的形式化建模与验证框架
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2019-11-27 DOI: 10.1007/978-3-030-35540-1_5
L. Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
{"title":"A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms","authors":"L. Qiao, Shaofeng Li, Hua Yang, Mengfei Yang","doi":"10.1007/978-3-030-35540-1_5","DOIUrl":"https://doi.org/10.1007/978-3-030-35540-1_5","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131539794","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
A Bounded Model Checking Technique for Higher-Order Programs 高阶程序的有界模型检验技术
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2019-11-27 DOI: 10.1007/978-3-030-35540-1_1
Yu-Yang Lin, N. Tzevelekos
{"title":"A Bounded Model Checking Technique for Higher-Order Programs","authors":"Yu-Yang Lin, N. Tzevelekos","doi":"10.1007/978-3-030-35540-1_1","DOIUrl":"https://doi.org/10.1007/978-3-030-35540-1_1","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133879503","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
Improving the Analysis of GPC in Real-Time Calculus 改进实时微积分中GPC的分析
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2019-11-27 DOI: 10.1007/978-3-030-35540-1_7
Yue Tang, Yuming Jiang, Nan Guan
{"title":"Improving the Analysis of GPC in Real-Time Calculus","authors":"Yue Tang, Yuming Jiang, Nan Guan","doi":"10.1007/978-3-030-35540-1_7","DOIUrl":"https://doi.org/10.1007/978-3-030-35540-1_7","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128337974","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
下一页 尾页
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学术官方微信