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

Reachability Problems最新文献

筛选
英文 中文
Safety Property-Driven Stubborn Sets 安全属性驱动的顽固集
Reachability Problems Pub Date : 2016-09-19 DOI: 10.1007/978-3-319-45994-3_7
Henri Hansen, A. Valmari
{"title":"Safety Property-Driven Stubborn Sets","authors":"Henri Hansen, A. Valmari","doi":"10.1007/978-3-319-45994-3_7","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_7","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114570968","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
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations 基于局部不动点迭代的布尔网络组成分析
Reachability Problems Pub Date : 2016-09-19 DOI: 10.1007/978-3-319-45994-3_10
A. Coënt, L. Fribourg, R. Soulat
{"title":"Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations","authors":"A. Coënt, L. Fribourg, R. Soulat","doi":"10.1007/978-3-319-45994-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_10","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"121 3 Suppl 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128492180","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
Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs 普通的，有界的，可逆的，持久的，和k标记Petri网有标记的图可达图
Reachability Problems Pub Date : 2016-09-19 DOI: 10.1007/978-3-319-45994-3_4
E. Best, Harro Wimmel
{"title":"Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs","authors":"E. Best, Harro Wimmel","doi":"10.1007/978-3-319-45994-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_4","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130116411","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
The Ideal Theory for WSTS WSTS的理想理论
Reachability Problems Pub Date : 2016-09-19 DOI: 10.1007/978-3-319-45994-3_1
A. Finkel
{"title":"The Ideal Theory for WSTS","authors":"A. Finkel","doi":"10.1007/978-3-319-45994-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_1","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115474915","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
Robot Games with States in Dimension One 具有一维状态的机器人游戏
Reachability Problems Pub Date : 2016-09-19 DOI: 10.1007/978-3-319-45994-3_12
R. Niskanen
{"title":"Robot Games with States in Dimension One","authors":"R. Niskanen","doi":"10.1007/978-3-319-45994-3_12","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_12","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128947369","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
Occam's Razor Applied to the Petri Net Coverability Problem 奥卡姆剃刀在Petri网可覆盖性问题中的应用
Reachability Problems Pub Date : 2016-07-18 DOI: 10.1007/978-3-319-45994-3_6
Thomas Geffroy, Jérôme Leroux, G. Sutre
{"title":"Occam's Razor Applied to the Petri Net Coverability Problem","authors":"Thomas Geffroy, Jérôme Leroux, G. Sutre","doi":"10.1007/978-3-319-45994-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_6","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126646812","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}
引用次数: 18
Insertion-Deletion Systems over Relational Words 关系词的插入-删除系统
Reachability Problems Pub Date : 2015-10-12 DOI: 10.1007/978-3-319-45994-3_13
I. Potapov, Olena Prianychnykova, Sergey Verlan
{"title":"Insertion-Deletion Systems over Relational Words","authors":"I. Potapov, Olena Prianychnykova, Sergey Verlan","doi":"10.1007/978-3-319-45994-3_13","DOIUrl":"https://doi.org/10.1007/978-3-319-45994-3_13","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122742191","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
Irregular Behaviours for Probabilistic Automata 概率自动机的不规则行为
Reachability Problems Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24537-9_4
Nathanaël Fijalkow, Michal Skrzypczak
{"title":"Irregular Behaviours for Probabilistic Automata","authors":"Nathanaël Fijalkow, Michal Skrzypczak","doi":"10.1007/978-3-319-24537-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-24537-9_4","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125142445","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 Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets 价自动机的空性问题:Petri网的另一个可确定扩展
Reachability Problems Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24537-9_15
Georg Zetzsche
{"title":"The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets","authors":"Georg Zetzsche","doi":"10.1007/978-3-319-24537-9_15","DOIUrl":"https://doi.org/10.1007/978-3-319-24537-9_15","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129696675","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
On Reachability-Related Games on Vector Addition Systems with States 关于状态向量加法系统的可达性相关博弈
Reachability Problems Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24537-9_6
P. Jančar
{"title":"On Reachability-Related Games on Vector Addition Systems with States","authors":"P. Jančar","doi":"10.1007/978-3-319-24537-9_6","DOIUrl":"https://doi.org/10.1007/978-3-319-24537-9_6","url":null,"abstract":"","PeriodicalId":404583,"journal":{"name":"Reachability Problems","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133911706","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学术官方微信