掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Reachability Problems
International Conference on Reachability Problems
召开年:
2019
召开地:
Brussels(BE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets
机译:
具有复位的一维下推矢量加法系统的可覆盖性是不确定的
作者:
Sylvain Schmitz
;
Georg Zetzsche
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Pushdown vector addition systems;
Decidability;
2.
Synthesis of Structurally Restricted b-bounded Petri Nets: Complexity Results
机译:
结构受限的b界Petri网的合成:复杂性结果
作者:
Ronny Tredup
会议名称:
《International Conference on Reachability Problems》
|
2019年
3.
Reachability of Five Gossip Protocols
机译:
五个八卦协议的可达性
作者:
Hans van Ditmarsch
;
Malvin Gattinger
;
Ioannis Kokkinis
;
Louwe B. Kuijer
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Gossip;
Networks;
Reachability;
4.
Preface
机译:
前言
作者:
Emmanuel Filiot
;
Igor Potapov
;
Raphaeel Jungers
会议名称:
《International Conference on Reachability Problems》
|
2019年
5.
Bidding Games on Markov Decision Processes
机译:
马尔可夫决策过程的竞标游戏
作者:
Guy Avni
;
Thomas A. Henzinger
;
Rasmus Ibsen-Jensen
;
Petr Novotny
会议名称:
《International Conference on Reachability Problems》
|
2019年
6.
The Reachability Problem for Petri Nets is Not Elementary
机译:
Petri网的可达性问题并不简单
作者:
Slawomir Lasota
会议名称:
《International Conference on Reachability Problems》
|
2019年
7.
Reaching Out Towards Fully Verified Autonomous Systems
机译:
迈向完全验证的自治系统
作者:
Sriram Sankaranarayanan
;
Souradeep Dutta
;
Sergio Mover
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Formal verification;
Autonomous systems;
Constraint solvers;
8.
Primitivity and Synchronizing Automata: A Functional Analytic Approach
机译:
原始性和同步自动机:一种功能分析方法
作者:
Vladimir Yu. Protasov
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Nonnegative matrix;
Primitive semigroups;
Synchrinizing automata;
Functional equation;
Contraction;
Affine operator;
9.
Game Graphs for Reactive Synthesis
机译:
反应合成的游戏图
作者:
Jean-Francois Raskin
会议名称:
《International Conference on Reachability Problems》
|
2019年
10.
Bidding Games on Markov Decision Processes
机译:
马尔可夫决策过程的竞标游戏
作者:
Guy Avni
;
Thomas A. Henzinger
;
Rasmus Ibsen-Jensen
;
Petr Novotny
会议名称:
《International Conference on Reachability Problems》
|
2019年
11.
Primitivity and Synchronizing Automata: A Functional Analytic Approach
机译:
原始性和同步自动机:一种功能分析方法
作者:
Vladimir Yu. Protasov
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Nonnegative matrix;
Primitive semigroups;
Synchrinizing automata;
Functional equation;
Contraction;
Affine operator;
12.
Reaching Out Towards Fully Verified Autonomous Systems
机译:
迈向完全验证的自治系统
作者:
Sriram Sankaranarayanan
;
Souradeep Dutta
;
Sergio Mover
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Formal verification;
Autonomous systems;
Constraint solvers;
13.
On the m-eternal Domination Number of Cactus Graphs
机译:
关于仙人掌图的m永恒控制数
作者:
Vaclav Blazej
;
Jan Matyas Kristan
;
Tomas Valla
会议名称:
《International Conference on Reachability Problems》
|
2019年
14.
On Relevant Equilibria in Reachability Games
机译:
可达性博弈中的相关均衡
作者:
Thomas Brihaye
;
Veronique Bruyere
;
Aline Goeminne
;
Nathan Thomasset
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Multiplayer non-zero-sum games played on graphs;
Reachability objectives;
Relevant equilibria;
Social welfare;
Pareto optimality;
15.
Partial Solvers for Generalized Parity Games
机译:
广义奇偶游戏的部分求解器
作者:
Veronique Bruyere
;
Guillermo A. Perez
;
Jean-Frangois Raskin
;
Clement Tamines
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Parity games;
Generalized parity games;
Partial solvers;
16.
Reachability in Augmented Interval Markov Chains
机译:
增强区间马尔可夫链的可达性
作者:
Ventsislav Chonev
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Interval Markov decision processes;
Reachability;
17.
On Solving Word Equations Using SAT
机译:
关于用SAT解词方程
作者:
Joel D. Day
;
Thorsten Ehlers
;
Mitja Kulczynski
;
Florin Manea
;
Dirk Nowotka
;
Danny Bogsted Poulsen
会议名称:
《International Conference on Reachability Problems》
|
2019年
18.
Parameterised Verification of Publish/Subscribe Networks with Exception Handling
机译:
具有异常处理的发布/订阅网络的参数化验证
作者:
Giorgio Delzanno
会议名称:
《International Conference on Reachability Problems》
|
2019年
19.
Cellular Automata for the Self-stabilisation of Colourings and Tilings
机译:
元胞自动机的着色和拼贴的自我稳定
作者:
Nazim Fates
;
Irene Marcovici
;
Siamak Taati
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Cellular automata;
Self-stabilisation;
Self-correction;
k-colourings;
Subshifts of finite type;
20.
On the Termination Problem for Counter Machines with Incrementing Errors
机译:
关于增量误差计数器机器的终止问题
作者:
Christopher Hampson
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Termination;
Halting problem;
Unreliable counter machines;
Incrementing error;
Lossy error;
21.
Reachability Problems on Partially Lossy Queue Automata
机译:
部分有损队列自动机上的可达性问题
作者:
Chris Koecher
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Partially lossy queue;
Reachability;
Queue automaton;
22.
On the Computation of the Minimal Coverability Set of Petri Nets
机译:
关于Petri网的最小可覆盖性集的计算
作者:
Pierre-Alain Reynier
;
Frederic Servais
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Petri nets;
Coverability;
Acceleration;
23.
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
机译:
定向流形上分段常数导数系统的可达性决定
作者:
Andrei Sandler
;
Olga Tveretina
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Hybrid systems;
Reachability;
Decidability;
24.
The Reachability Problem for Petri Nets is Not Elementary
机译:
Petri网的可达性问题不是初级
作者:
Slawomir Lasota
会议名称:
《International Conference on Reachability Problems》
|
2019年
25.
Cellular Automata for the Self-stabilisation of Colourings and Tilings
机译:
蜂窝自动机,用于染色和倾斜的自我稳定
作者:
Nazim Fates
;
Irene Marcovici
;
Siamak Taati
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Cellular automata;
Self-stabilisation;
Self-correction;
k-colourings;
Subshifts of finite type;
26.
Reachability in Augmented Interval Markov Chains
机译:
在增强间隔马尔可夫链中的可达性
作者:
Ventsislav Chonev
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Interval Markov decision processes;
Reachability;
27.
Primitivity and Synchronizing Automata: A Functional Analytic Approach
机译:
原始和同步自动机:功能分析方法
作者:
Vladimir Yu. Protasov
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Nonnegative matrix;
Primitive semigroups;
Synchrinizing automata;
Functional equation;
Contraction;
Affine operator;
28.
Preface
机译:
前言
作者:
Emmanuel Filiot
;
Igor Potapov
;
Raphaeel Jungers
会议名称:
《International Conference on Reachability Problems》
|
2019年
29.
Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets
机译:
具有重置的一维推动载体添加系统中不可判定的覆盖性
作者:
Sylvain Schmitz
;
Georg Zetzsche
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Pushdown vector addition systems;
Decidability;
30.
Bidding Games on Markov Decision Processes
机译:
在马尔可夫决策过程中招标游戏
作者:
Guy Avni
;
Thomas A. Henzinger
;
Rasmus Ibsen-Jensen
;
Petr Novotny
会议名称:
《International Conference on Reachability Problems》
|
2019年
31.
Partial Solvers for Generalized Parity Games
机译:
普遍奇偶校验游戏的部分求解器
作者:
Veronique Bruyere
;
Guillermo A. Perez
;
Jean-Frangois Raskin
;
Clement Tamines
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Parity games;
Generalized parity games;
Partial solvers;
32.
On the m-eternal Domination Number of Cactus Graphs
机译:
关于仙人掌图的M-永恒统治数量
作者:
Vaclav Blazej
;
Jan Matyas Kristan
;
Tomas Valla
会议名称:
《International Conference on Reachability Problems》
|
2019年
33.
On Relevant Equilibria in Reachability Games
机译:
在可达性游戏中的相关均衡
作者:
Thomas Brihaye
;
Veronique Bruyere
;
Aline Goeminne
;
Nathan Thomasset
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Multiplayer non-zero-sum games played on graphs;
Reachability objectives;
Relevant equilibria;
Social welfare;
Pareto optimality;
34.
On Solving Word Equations Using SAT
机译:
使用SAT解决单词方程
作者:
Joel D. Day
;
Thorsten Ehlers
;
Mitja Kulczynski
;
Florin Manea
;
Dirk Nowotka
;
Danny Bogsted Poulsen
会议名称:
《International Conference on Reachability Problems》
|
2019年
35.
On the Termination Problem for Counter Machines with Incrementing Errors
机译:
递增错误的计数器机器终止问题
作者:
Christopher Hampson
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Termination;
Halting problem;
Unreliable counter machines;
Incrementing error;
Lossy error;
36.
Game Graphs for Reactive Synthesis
机译:
反应合成的游戏图
作者:
Jean-Francois Raskin
会议名称:
《International Conference on Reachability Problems》
|
2019年
37.
On the Computation of the Minimal Coverability Set of Petri Nets
机译:
关于Petri网最小覆盖性集的计算
作者:
Pierre-Alain Reynier
;
Frederic Servais
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Petri nets;
Coverability;
Acceleration;
38.
Reaching Out Towards Fully Verified Autonomous Systems
机译:
伸出完全验证的自治系统
作者:
Sriram Sankaranarayanan
;
Souradeep Dutta
;
Sergio Mover
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Formal verification;
Autonomous systems;
Constraint solvers;
39.
Reaching Out Towards Fully Verified Autonomous Systems
机译:
伸出完全验证的自治系统
作者:
Sriram Sankaranarayanan
;
Souradeep Dutta
;
Sergio Mover
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Formal verification;
Autonomous systems;
Constraint solvers;
40.
Primitivity and Synchronizing Automata: A Functional Analytic Approach
机译:
原始和同步自动机:功能分析方法
作者:
Vladimir Yu. Protasov
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Nonnegative matrix;
Primitive semigroups;
Synchrinizing automata;
Functional equation;
Contraction;
Affine operator;
41.
Reachability of Five Gossip Protocols
机译:
五个八卦协议的可达性
作者:
Hans van Ditmarsch
;
Malvin Gattinger
;
Ioannis Kokkinis
;
Louwe B. Kuijer
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Gossip;
Networks;
Reachability;
42.
Bidding Games on Markov Decision Processes
机译:
在马尔可夫决策过程中招标游戏
作者:
Guy Avni
;
Thomas A. Henzinger
;
Rasmus Ibsen-Jensen
;
Petr Novotny
会议名称:
《International Conference on Reachability Problems》
|
2019年
43.
Synthesis of Structurally Restricted b-bounded Petri Nets: Complexity Results
机译:
在结构限制的B界Petri网的合成:复杂性结果
作者:
Ronny Tredup
会议名称:
《International Conference on Reachability Problems》
|
2019年
44.
Reachability Problems on Partially Lossy Queue Automata
机译:
部分有损队列自动机的可达性问题
作者:
Chris Koecher
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Partially lossy queue;
Reachability;
Queue automaton;
45.
Parameterised Verification of Publish/Subscribe Networks with Exception Handling
机译:
具有异常处理的发布/订阅网络的参数验证
作者:
Giorgio Delzanno
会议名称:
《International Conference on Reachability Problems》
|
2019年
46.
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
机译:
决定可达到可定向歧管上的分段恒定衍生系统的性
作者:
Andrei Sandler
;
Olga Tveretina
会议名称:
《International Conference on Reachability Problems》
|
2019年
关键词:
Hybrid systems;
Reachability;
Decidability;
47.
Preface
机译:
前言
作者:
Sylvain Schmitz
;
Igor Potapov
会议名称:
《International Conference on Reachability Problems》
|
2020年
48.
On Decision Problems for Substitutions in Symbolic Dynamics
机译:
象征性动态替换的决策问题
作者:
Valerie Berthe
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Substitutions;
Symbolic dynamics;
Decidability;
Lyapunov exponents;
Primitive matrix;
Perron-Frobenius theorem;
49.
When are Finite Games Finite-Memory Determined?
机译:
什么时候有限游戏有限记忆确定?
作者:
Patricia Bouyer
会议名称:
《International Conference on Reachability Problems》
|
2020年
50.
Computing a Fixed Point of a Monotone Function, and Some Applications
机译:
计算单调功能的固定点,以及一些应用程序
作者:
Kousha Etessami
会议名称:
《International Conference on Reachability Problems》
|
2020年
51.
Games with Full, Longitudinal, and Transverse Observability
机译:
具有完整,纵向和横向可观察性的游戏
作者:
Orna Kupferman
会议名称:
《International Conference on Reachability Problems》
|
2020年
52.
Word Equations: From Theory to Practice
机译:
字形方程:从理论到实践
作者:
Dirk Nowotka
会议名称:
《International Conference on Reachability Problems》
|
2020年
53.
On Decision Problems for Substitutions in Symbolic Dynamics
机译:
象征性动态替换的决策问题
作者:
Valerie Berthe
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Substitutions;
Symbolic dynamics;
Decidability;
Lyapunov exponents;
Primitive matrix;
Perron-Frobenius theorem;
54.
Games with Full, Longitudinal, and Transverse Observability
机译:
具有完整,纵向和横向可观察性的游戏
作者:
Orna Kupferman
会议名称:
《International Conference on Reachability Problems》
|
2020年
55.
Reachability Set Generation Using Hybrid Relation Compatible Saturation
机译:
使用混合关系兼容饱和度的可达性设定
作者:
Shruti Biswal
;
Andrew S. Miner
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Petri Nets;
Self-modifying nets;
Decision diagrams;
Saturation;
Reachability set generation;
Implicit relations;
56.
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model
机译:
案例研究:统一战斗指令和控制模型中的可达性和可扩展性
作者:
Sergiy Bogomolov
;
Marcelo Forets
;
Kostiantyn Potomkin
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Hybrid automata;
Reachability analysis;
Operations research;
Combat;
Command and control;
57.
Qualitative Multi-objective Reachability for Ordered Branching MDPs
机译:
用于订购分支机构MDP的定性多目标可达性
作者:
Kousha Etessami
;
Emanuel Martinov
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Markov decision processes;
Branching processes;
Stochastic context-free grammars;
Multi-objective;
Reachability Almost-sure;
Limit-sure;
58.
Quantum-over-Classical Advantage in Solving Multiplayer Games
机译:
求解多人游戏的量子过度优势
作者:
Dmitry Kravchenko
;
Kamil Khadiev
;
Danil Serov
;
Ruslan Kapralov
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Quantum game theory;
Quantum combinatorial games;
Quantum multiplayer games;
Quantum algorithm;
Nim;
Subtraction game;
59.
Efficient Restrictions of Immediate Observation Petri Nets
机译:
高效限制立即观察Petri网
作者:
Michael Raskin
;
Chana Weil-Kennedy
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Petri nets;
Reachability;
Computational complexity;
60.
Binary Expression of Ancestors in the Collatz Graph
机译:
Collatz图中祖先的二进制表达
作者:
Tristan Sterin
会议名称:
《International Conference on Reachability Problems》
|
2020年
61.
The Collatz Process Embeds a Base Conversion Algorithm
机译:
Collatz过程嵌入了基本转换算法
作者:
Tristan Sterin
;
Damien Wood
会议名称:
《International Conference on Reachability Problems》
|
2020年
关键词:
Collatz map;
Model of computation;
Reachability problem;
62.
The Complexity of the Label-Splitting-Problem for Flip-Flop-Nets
机译:
触发器网的标签分裂问题的复杂性
作者:
Ronny Tredup
会议名称:
《International Conference on Reachability Problems》
|
2020年
63.
Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification
机译:
重新审视穆拼图。有限反模型验证的案例研究
作者:
Alexei Lisitsa
会议名称:
《International Conference on Reachability Problems》
|
2018年
64.
Buchi VASS Recognise Σ_1~1-complete ω-languages
机译:
孔VASS识别Σ_1〜1完整Ω-lican
作者:
Michal Skrzypczak
会议名称:
《International Conference on Reachability Problems》
|
2018年
关键词:
Petri nets;
Infinite words;
Non-determinism;
65.
Constrained Dynamic Tree Networks
机译:
受限的动态树网络
作者:
Matthew Hague
;
Vincent Penelle
会议名称:
《International Conference on Reachability Problems》
|
2018年
关键词:
Model-checking;
Dynamic networks;
Concurrency;
Pushdown systems;
Alternation;
Higher-order;
Collapsible pushdown systems;
66.
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta
机译:
多料型验证跑步 - 库塔塔的非线性杂散可达性分析
作者:
Julien Alexandre dit Sandretto
;
Jian Wan
会议名称:
《International Conference on Reachability Problems》
|
2018年
67.
Generalized Tag Systems
机译:
广义标签系统
作者:
Turlough Neary
;
Matthew Cook
会议名称:
《International Conference on Reachability Problems》
|
2018年
68.
The Satisfiability of Word Equations: Decidable and Undecidable Theories
机译:
字体方程的可靠性:可判定和不可判定的理论
作者:
Joel D. Day
;
Vijay Ganesh
;
Paul He
;
Florin Manea
;
Dirk Nowotka
会议名称:
《International Conference on Reachability Problems》
|
2018年
关键词:
Word wuations;
Decidability;
Satisfiability;
69.
Left-Eigenvectors Are Certificates of the Orbit Problem
机译:
左特征向量是轨道问题的证书
作者:
Steven de Oliveira
;
Virgile Prevosto
;
Peter Habermehl
;
Saddek Bensalem
会议名称:
《International Conference on Reachability Problems》
|
2018年
70.
Knapsack in Hyperbolic Groups
机译:
双曲族背包
作者:
Markus Lohrey
会议名称:
《International Conference on Reachability Problems》
|
2018年
71.
Qualitative Reachability for Open Interval Markov Chains
机译:
开放间隔马尔可夫链的定性可达性
作者:
Jeremy Sproston
会议名称:
《International Conference on Reachability Problems》
|
2018年
72.
EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets
机译:
Expspace完整的倒计时游戏变体,并在简洁单台网上仿真
作者:
Petr Jancar
;
Petr Osicka
;
Zderiek Sawa
会议名称:
《International Conference on Reachability Problems》
|
2018年
关键词:
Succinct one-counter net;
Simulation;
Countdown game;
Complexity;
73.
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams
机译:
某些查询在压缩字符串模式上应答:从流到超级磁带
作者:
Iovlca Boneva
;
Joachim Niehren
;
Momar Sakho
会议名称:
《International Conference on Reachability Problems》
|
2018年
意见反馈
回到顶部
回到首页