万灵药 发表于 2025-3-21 16:48:15

书目名称Reachability Problems影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0821820<br><br>        <br><br>书目名称Reachability Problems读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0821820<br><br>        <br><br>

nonsensical 发表于 2025-3-21 21:05:02

http://reply.papertrans.cn/83/8219/821820/821820_2.png

hemorrhage 发表于 2025-3-22 01:02:20

Symbolic and Compositional Reachability for Timed Automata,timed automata, clocks and stop-watches, synchronizing over synchronous and broadcast channels, discrete variables ranging over bounded integers or structured types (arrays and records) as well as user-defined types and functions.

endocardium 发表于 2025-3-22 04:39:08

Lossy Counter Machines Decidability Cheat Sheet,deterministically and without notification. This model, introduced by R. Mayr , is not yet very well known, even though it has already proven useful for establishing hardness results..In this paper we survey the basic theory of LCM’s and their verification problems, with a focus on the decidability/undecidability divide.

canonical 发表于 2025-3-22 11:03:24

http://reply.papertrans.cn/83/8219/821820/821820_5.png

Macronutrients 发表于 2025-3-22 15:03:48

Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata,the heptagrid and the dodecagrid, these tilings being classically denoted by {5,4}, {7,3} and {5,3,4} respectively. As an application, this may give a hint for the boundary between decidable and undecidable problems for hyperbolic cellular automata.

宽容 发表于 2025-3-22 19:28:58

Efficient Graph Reachability Query Answering Using Tree Decomposition,ation fields such as XML data processing, ontology reasoning and bioinformatics..In this paper, we present a novel indexing method based on the concept of tree decomposition. We show analytically that this intuitive approach is both time and space efficient. We demonstrate empirically the efficiency and the effectiveness of our method.

Forsake 发表于 2025-3-23 01:12:57

http://reply.papertrans.cn/83/8219/821820/821820_8.png

COMA 发表于 2025-3-23 03:52:16

https://doi.org/10.1007/978-3-642-15349-5Action; algebraic structures; automata; complexity; finite state machines; infinite state sy; infinite sta

gangrene 发表于 2025-3-23 08:59:11

http://reply.papertrans.cn/83/8219/821820/821820_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Reachability Problems; 4th International Wo Antonín Kučera,Igor Potapov Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 2010