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

NASA Formal Methods最新文献

筛选
英文 中文
Strengthening Deterministic Policies for POMDPs 加强pomdp的确定性策略
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_7
Leonore Winterer, Ralf Wimmer, N. Jansen, B. Becker
{"title":"Strengthening Deterministic Policies for POMDPs","authors":"Leonore Winterer, Ralf Wimmer, N. Jansen, B. Becker","doi":"10.1007/978-3-030-55754-6_7","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_7","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"23 329 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127139302","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
Simplifying Neural Networks Using Formal Verification 使用形式验证简化神经网络
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_5
S. Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
{"title":"Simplifying Neural Networks Using Formal Verification","authors":"S. Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz","doi":"10.1007/978-3-030-55754-6_5","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_5","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"250 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114552852","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}
引用次数: 27
Parameter Synthesis and Robustness Analysis of Rule-Based Models 基于规则模型的参数综合与鲁棒性分析
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_3
Matej Troják, David Šafránek, Lukrécia Mertová, L. Brim
{"title":"Parameter Synthesis and Robustness Analysis of Rule-Based Models","authors":"Matej Troják, David Šafránek, Lukrécia Mertová, L. Brim","doi":"10.1007/978-3-030-55754-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_3","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124715125","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
Verifying Band Convergence for Sampled Control Systems 采样控制系统的带收敛性验证
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_19
P. Ezudheen, Zahra Rahimi Afzal, P. Prabhakar, D. D'Souza, Meenakshi D'Souza
{"title":"Verifying Band Convergence for Sampled Control Systems","authors":"P. Ezudheen, Zahra Rahimi Afzal, P. Prabhakar, D. D'Souza, Meenakshi D'Souza","doi":"10.1007/978-3-030-55754-6_19","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_19","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128466074","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
Formal Verification of Parallel Prefix Sum 平行前缀和的形式化验证
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_10
M. Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, M. Huisman
{"title":"Formal Verification of Parallel Prefix Sum","authors":"M. Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, M. Huisman","doi":"10.1007/978-3-030-55754-6_10","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_10","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129990217","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
Per-Location Simulation 每个地区的模拟
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_16
Liyi Li, E. Gunter
{"title":"Per-Location Simulation","authors":"Liyi Li, E. Gunter","doi":"10.1007/978-3-030-55754-6_16","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_16","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115800002","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
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions 一个c++工具，用于模型检查混合Petri网与一般转换
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_22
Jannik Hüls, Henner Niehaus, Anne Remke
{"title":"hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions","authors":"Jannik Hüls, Henner Niehaus, Anne Remke","doi":"10.1007/978-3-030-55754-6_22","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_22","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122990110","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 Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata 随机点火混合Petri网到随机混合自动机子类的转换
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_23
Carina Pilch, Maurice Krause, Anne Remke, E. Ábrahám
{"title":"A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata","authors":"Carina Pilch, Maurice Krause, Anne Remke, E. Ábrahám","doi":"10.1007/978-3-030-55754-6_23","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_23","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116471635","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
A Validation Methodology for OCaml-to-PVS Translation 一种ocaml -to- pv翻译的验证方法
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_12
Xiaoxin An, Amer Tahat, B. Ravindran
{"title":"A Validation Methodology for OCaml-to-PVS Translation","authors":"Xiaoxin An, Amer Tahat, B. Ravindran","doi":"10.1007/978-3-030-55754-6_12","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_12","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131255843","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
Falsification of Cyber-Physical Systems with Constrained Signal Spaces 具有约束信号空间的信息物理系统的证伪
NASA Formal Methods Pub Date : 2020-05-11 DOI: 10.1007/978-3-030-55754-6_25
Benoît Barbot, Nicolas Basset, T. Dang, Alexandre Donzé, J. Kapinski, Tomoya Yamaguchi
{"title":"Falsification of Cyber-Physical Systems with Constrained Signal Spaces","authors":"Benoît Barbot, Nicolas Basset, T. Dang, Alexandre Donzé, J. Kapinski, Tomoya Yamaguchi","doi":"10.1007/978-3-030-55754-6_25","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_25","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117171904","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学术官方微信