Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913721626> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2913721626 endingPage "677" @default.
- W2913721626 startingPage "677" @default.
- W2913721626 abstract "Two decades ago, Alur, Henzinger, and Vardi introduced the reachability problem for parametric timed automata. Their main results are that reachability is decidable for timed automata with a single parametric clock, and undecidable for timed automata with three or more parametric clocks.In the case of two parametric clocks, decidability was left open, with hardly any progress that we are aware of in the intervening period.In this manuscript, we establish a correspondence between reachability in parametric timed automata with at most two parametric clocks and reachability for a certain class of parametric one-counter machines. We leverage this connection (i) to improve decision procedure for one parametric clock from nonelementary to 2NEXP; (ii) to show decidability for two parametric clocks and a single parameter; (iii) to show lower bounds for reachability problem for one and two parametric clocks; (iv) to show decidability for various classes of parametric one-counter machines." @default.
- W2913721626 created "2019-02-21" @default.
- W2913721626 creator A5006969910 @default.
- W2913721626 date "1984-01-01" @default.
- W2913721626 modified "2023-09-27" @default.
- W2913721626 title "Parallel and sequential transformations on digital images" @default.
- W2913721626 doi "https://doi.org/10.1016/0031-3203(84)90023-2" @default.
- W2913721626 hasPublicationYear "1984" @default.
- W2913721626 type Work @default.
- W2913721626 sameAs 2913721626 @default.
- W2913721626 citedByCount "0" @default.
- W2913721626 crossrefType "journal-article" @default.
- W2913721626 hasAuthorship W2913721626A5006969910 @default.
- W2913721626 hasConcept C105795698 @default.
- W2913721626 hasConcept C112505250 @default.
- W2913721626 hasConcept C11413529 @default.
- W2913721626 hasConcept C117251300 @default.
- W2913721626 hasConcept C118615104 @default.
- W2913721626 hasConcept C136643341 @default.
- W2913721626 hasConcept C153083717 @default.
- W2913721626 hasConcept C153269930 @default.
- W2913721626 hasConcept C154945302 @default.
- W2913721626 hasConcept C192034797 @default.
- W2913721626 hasConcept C2777669093 @default.
- W2913721626 hasConcept C30788636 @default.
- W2913721626 hasConcept C33923547 @default.
- W2913721626 hasConcept C41008148 @default.
- W2913721626 hasConcept C80444323 @default.
- W2913721626 hasConceptScore W2913721626C105795698 @default.
- W2913721626 hasConceptScore W2913721626C112505250 @default.
- W2913721626 hasConceptScore W2913721626C11413529 @default.
- W2913721626 hasConceptScore W2913721626C117251300 @default.
- W2913721626 hasConceptScore W2913721626C118615104 @default.
- W2913721626 hasConceptScore W2913721626C136643341 @default.
- W2913721626 hasConceptScore W2913721626C153083717 @default.
- W2913721626 hasConceptScore W2913721626C153269930 @default.
- W2913721626 hasConceptScore W2913721626C154945302 @default.
- W2913721626 hasConceptScore W2913721626C192034797 @default.
- W2913721626 hasConceptScore W2913721626C2777669093 @default.
- W2913721626 hasConceptScore W2913721626C30788636 @default.
- W2913721626 hasConceptScore W2913721626C33923547 @default.
- W2913721626 hasConceptScore W2913721626C41008148 @default.
- W2913721626 hasConceptScore W2913721626C80444323 @default.
- W2913721626 hasIssue "6" @default.
- W2913721626 hasLocation W29137216261 @default.
- W2913721626 hasOpenAccess W2913721626 @default.
- W2913721626 hasPrimaryLocation W29137216261 @default.
- W2913721626 hasRelatedWork W11326594 @default.
- W2913721626 hasRelatedWork W1563786920 @default.
- W2913721626 hasRelatedWork W1764876581 @default.
- W2913721626 hasRelatedWork W2085838366 @default.
- W2913721626 hasRelatedWork W23348632 @default.
- W2913721626 hasRelatedWork W2399240136 @default.
- W2913721626 hasRelatedWork W2617458767 @default.
- W2913721626 hasRelatedWork W2949426464 @default.
- W2913721626 hasRelatedWork W4297908638 @default.
- W2913721626 hasRelatedWork W3023170743 @default.
- W2913721626 hasVolume "17" @default.
- W2913721626 isParatext "false" @default.
- W2913721626 isRetracted "false" @default.
- W2913721626 magId "2913721626" @default.
- W2913721626 workType "article" @default.