Matches in SemOpenAlex for { <https://semopenalex.org/work/W1799164503> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1799164503 endingPage "213" @default.
- W1799164503 startingPage "198" @default.
- W1799164503 abstract "We consider the problem of recurrent reachability over infinite systems given by regular relations on words and trees, i.e, whether a given regular set of states can be reached infinitely often from a given initial state in the given transition system. Under the condition that the transitive closure of the transition relation is regular, we show that the problem is decidable, and the set of all initial states satisfying the property is regular. Moreover, our algorithm constructs an automaton for this set in polynomial time, assuming that a transducer of the transitive closure can be computed in poly-time. We then demonstrate that transition systems generated by pushdown systems, regular ground tree rewrite systems, and the well-known process algebra PA satisfy our condition and transducers for their transitive closures can be computed in poly-time. Our result also implies that model checking EF-logic extended by recurrent reachability predicate (EGF) over such systems is decidable." @default.
- W1799164503 created "2016-06-24" @default.
- W1799164503 creator A5043908029 @default.
- W1799164503 creator A5069883356 @default.
- W1799164503 date "2008-01-01" @default.
- W1799164503 modified "2023-09-27" @default.
- W1799164503 title "Recurrent Reachability Analysis in Regular Model Checking" @default.
- W1799164503 cites W1491036809 @default.
- W1799164503 cites W1498256026 @default.
- W1799164503 cites W1512310098 @default.
- W1799164503 cites W1544459976 @default.
- W1799164503 cites W1557750304 @default.
- W1799164503 cites W1576712931 @default.
- W1799164503 cites W1589224558 @default.
- W1799164503 cites W1762311305 @default.
- W1799164503 cites W1876811344 @default.
- W1799164503 cites W1967901317 @default.
- W1799164503 cites W2006265470 @default.
- W1799164503 cites W2017872109 @default.
- W1799164503 cites W2041203617 @default.
- W1799164503 cites W2042752581 @default.
- W1799164503 cites W2044842674 @default.
- W1799164503 cites W2096698163 @default.
- W1799164503 cites W2101989701 @default.
- W1799164503 cites W2109893633 @default.
- W1799164503 cites W2114132089 @default.
- W1799164503 cites W2132295002 @default.
- W1799164503 cites W2296095876 @default.
- W1799164503 cites W2720631021 @default.
- W1799164503 cites W4244719572 @default.
- W1799164503 doi "https://doi.org/10.1007/978-3-540-89439-1_15" @default.
- W1799164503 hasPublicationYear "2008" @default.
- W1799164503 type Work @default.
- W1799164503 sameAs 1799164503 @default.
- W1799164503 citedByCount "18" @default.
- W1799164503 countsByYear W17991645032012 @default.
- W1799164503 countsByYear W17991645032013 @default.
- W1799164503 countsByYear W17991645032014 @default.
- W1799164503 countsByYear W17991645032016 @default.
- W1799164503 countsByYear W17991645032018 @default.
- W1799164503 countsByYear W17991645032019 @default.
- W1799164503 countsByYear W17991645032020 @default.
- W1799164503 crossrefType "book-chapter" @default.
- W1799164503 hasAuthorship W1799164503A5043908029 @default.
- W1799164503 hasAuthorship W1799164503A5069883356 @default.
- W1799164503 hasBestOaLocation W17991645032 @default.
- W1799164503 hasConcept C110251889 @default.
- W1799164503 hasConcept C11413529 @default.
- W1799164503 hasConcept C136643341 @default.
- W1799164503 hasConcept C199360897 @default.
- W1799164503 hasConcept C2777669093 @default.
- W1799164503 hasConcept C41008148 @default.
- W1799164503 hasConcept C80444323 @default.
- W1799164503 hasConceptScore W1799164503C110251889 @default.
- W1799164503 hasConceptScore W1799164503C11413529 @default.
- W1799164503 hasConceptScore W1799164503C136643341 @default.
- W1799164503 hasConceptScore W1799164503C199360897 @default.
- W1799164503 hasConceptScore W1799164503C2777669093 @default.
- W1799164503 hasConceptScore W1799164503C41008148 @default.
- W1799164503 hasConceptScore W1799164503C80444323 @default.
- W1799164503 hasLocation W17991645031 @default.
- W1799164503 hasLocation W17991645032 @default.
- W1799164503 hasOpenAccess W1799164503 @default.
- W1799164503 hasPrimaryLocation W17991645031 @default.
- W1799164503 hasRelatedWork W1577441161 @default.
- W1799164503 hasRelatedWork W1579190584 @default.
- W1799164503 hasRelatedWork W1647694692 @default.
- W1799164503 hasRelatedWork W1724856927 @default.
- W1799164503 hasRelatedWork W2047831585 @default.
- W1799164503 hasRelatedWork W2243919160 @default.
- W1799164503 hasRelatedWork W2577043878 @default.
- W1799164503 hasRelatedWork W2751754194 @default.
- W1799164503 hasRelatedWork W2804951778 @default.
- W1799164503 hasRelatedWork W585091348 @default.
- W1799164503 isParatext "false" @default.
- W1799164503 isRetracted "false" @default.
- W1799164503 magId "1799164503" @default.
- W1799164503 workType "book-chapter" @default.