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

NASA Formal Methods最新文献

筛选
英文 中文
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs 具有低维输入的ReLU网络的快速优化器
NASA Formal Methods Pub Date : 2021-06-09 DOI: 10.1007/978-3-031-06773-0_16
Christopher A. Strong, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer
{"title":"ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs","authors":"Christopher A. Strong, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer","doi":"10.1007/978-3-031-06773-0_16","DOIUrl":"https://doi.org/10.1007/978-3-031-06773-0_16","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131321657","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
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model 基于故障感知参与者模型的会议最终共识验证
NASA Formal Methods Pub Date : 2021-03-26 DOI: 10.1007/978-3-030-76384-8_16
S. Paul, G. Agha, S. Patterson, Carlos A. Varela
{"title":"Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model","authors":"S. Paul, G. Agha, S. Patterson, Carlos A. Varela","doi":"10.1007/978-3-030-76384-8_16","DOIUrl":"https://doi.org/10.1007/978-3-030-76384-8_16","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133643789","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 formal proof of the Lax equivalence theorem for finite difference schemes 有限差分格式的Lax等价定理的形式化证明
NASA Formal Methods Pub Date : 2021-03-25 DOI: 10.1007/978-3-030-76384-8_20
Mohit Tekriwal, K. Duraisamy, Jean-Baptiste Jeannin
{"title":"A formal proof of the Lax equivalence theorem for finite difference schemes","authors":"Mohit Tekriwal, K. Duraisamy, Jean-Baptiste Jeannin","doi":"10.1007/978-3-030-76384-8_20","DOIUrl":"https://doi.org/10.1007/978-3-030-76384-8_20","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116889825","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
Specification Decomposition for Reactive Synthesis 反应性合成规范分解
NASA Formal Methods Pub Date : 2021-03-15 DOI: 10.1007/978-3-030-76384-8_8
B. Finkbeiner, Gideon Geier, Noemi E. Passing
{"title":"Specification Decomposition for Reactive Synthesis","authors":"B. Finkbeiner, Gideon Geier, Noemi E. Passing","doi":"10.1007/978-3-030-76384-8_8","DOIUrl":"https://doi.org/10.1007/978-3-030-76384-8_8","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114510860","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}
引用次数: 11
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS 自主CPS运行时保障的黑盒单形体系结构
NASA Formal Methods Pub Date : 2021-02-24 DOI: 10.1007/978-3-031-06773-0_12
Usama Mehmood, S. Sheikhi, Stanley Bak, S. Smolka, S. Stoller
{"title":"The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS","authors":"Usama Mehmood, S. Sheikhi, Stanley Bak, S. Smolka, S. Stoller","doi":"10.1007/978-3-031-06773-0_12","DOIUrl":"https://doi.org/10.1007/978-3-031-06773-0_12","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121397773","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
Operational Annotations: A new method for sequential program verification 操作注释:顺序程序验证的新方法
NASA Formal Methods Pub Date : 2021-02-12 DOI: 10.1007/978-3-031-06773-0_32
P. Attie
{"title":"Operational Annotations: A new method for sequential program verification","authors":"P. Attie","doi":"10.1007/978-3-031-06773-0_32","DOIUrl":"https://doi.org/10.1007/978-3-031-06773-0_32","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122896596","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
Online Shielding for Stochastic Systems 随机系统的在线屏蔽
NASA Formal Methods Pub Date : 2020-12-17 DOI: 10.1007/978-3-030-76384-8_15
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, R. Bloem
{"title":"Online Shielding for Stochastic Systems","authors":"Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, R. Bloem","doi":"10.1007/978-3-030-76384-8_15","DOIUrl":"https://doi.org/10.1007/978-3-030-76384-8_15","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120984939","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}
引用次数: 14
Sampling Distributed Schedulers for Resilient Space Communication 弹性空间通信的采样分布式调度
NASA Formal Methods Pub Date : 2020-08-10 DOI: 10.1007/978-3-030-55754-6_17
P. D’Argenio, J. Fraire, A. Hartmanns
{"title":"Sampling Distributed Schedulers for Resilient Space Communication","authors":"P. D’Argenio, J. Fraire, A. Hartmanns","doi":"10.1007/978-3-030-55754-6_17","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_17","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"26 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123217349","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
Correction to: NASA Formal Methods 更正:NASA正式方法
NASA Formal Methods Pub Date : 2020-08-10 DOI: 10.1007/978-3-030-55754-6_26
Ritchie Lee, Susmit Jha, Anastasia Mavridou, D. Giannakopoulou
{"title":"Correction to: NASA Formal Methods","authors":"Ritchie Lee, Susmit Jha, Anastasia Mavridou, D. Giannakopoulou","doi":"10.1007/978-3-030-55754-6_26","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_26","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"456 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125796820","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
Recursive Variable-Length State Compression for Multi-Core Software Model Checking 多核软件模型检测的递归变长状态压缩
NASA Formal Methods Pub Date : 2020-07-23 DOI: 10.1007/978-3-030-76384-8_21
F. V. D. Berg
{"title":"Recursive Variable-Length State Compression for Multi-Core Software Model Checking","authors":"F. V. D. Berg","doi":"10.1007/978-3-030-76384-8_21","DOIUrl":"https://doi.org/10.1007/978-3-030-76384-8_21","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"288 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123291472","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
首页 上一页 下一页 尾页
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学术官方微信