Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990497675> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1990497675 endingPage "109" @default.
- W1990497675 startingPage "91" @default.
- W1990497675 abstract "We investigate a number of problems related to infinite runs of weighted timed automata (with a single weight variable), subject to lower-bound constraints on the accumulated weight. Closing an open problem from Bouyer et al. (2008), we show that the existence of an infinite lower-bound-constrained run is—for us somewhat unexpectedly—undecidable for weighted timed automata with four or more clocks. This undecidability result assumes a fixed and known initial credit. We show that the related problem of existence of an initial credit for which there exists a feasible run is decidable in PSPACE. We also investigate the variant of these problems where only bounded-duration runs are considered, showing that this restriction makes our original problem decidable in NEXPTIME. We prove that the universal versions of all those problems (i.e, checking that all the considered runs satisfy the lower-bound constraint) are decidable in PSPACE. Finally, we extend this study to multi-weighted timed automata: the existence of a feasible run becomes undecidable even for bounded duration, but the existence of initial credits remains decidable (in PSPACE)." @default.
- W1990497675 created "2016-06-24" @default.
- W1990497675 creator A5041884792 @default.
- W1990497675 creator A5069362159 @default.
- W1990497675 creator A5084605938 @default.
- W1990497675 date "2014-03-01" @default.
- W1990497675 modified "2023-10-17" @default.
- W1990497675 title "Lower-bound-constrained runs in weighted timed automata" @default.
- W1990497675 cites W1563786920 @default.
- W1990497675 cites W1987734880 @default.
- W1990497675 cites W2025079043 @default.
- W1990497675 cites W2039039881 @default.
- W1990497675 cites W2080316200 @default.
- W1990497675 cites W2101508170 @default.
- W1990497675 doi "https://doi.org/10.1016/j.peva.2013.11.002" @default.
- W1990497675 hasPublicationYear "2014" @default.
- W1990497675 type Work @default.
- W1990497675 sameAs 1990497675 @default.
- W1990497675 citedByCount "11" @default.
- W1990497675 countsByYear W19904976752014 @default.
- W1990497675 countsByYear W19904976752015 @default.
- W1990497675 countsByYear W19904976752018 @default.
- W1990497675 countsByYear W19904976752019 @default.
- W1990497675 countsByYear W19904976752021 @default.
- W1990497675 countsByYear W19904976752022 @default.
- W1990497675 countsByYear W19904976752023 @default.
- W1990497675 crossrefType "journal-article" @default.
- W1990497675 hasAuthorship W1990497675A5041884792 @default.
- W1990497675 hasAuthorship W1990497675A5069362159 @default.
- W1990497675 hasAuthorship W1990497675A5084605938 @default.
- W1990497675 hasBestOaLocation W19904976752 @default.
- W1990497675 hasConcept C112505250 @default.
- W1990497675 hasConcept C11413529 @default.
- W1990497675 hasConcept C114614502 @default.
- W1990497675 hasConcept C115988155 @default.
- W1990497675 hasConcept C118615104 @default.
- W1990497675 hasConcept C134306372 @default.
- W1990497675 hasConcept C153269930 @default.
- W1990497675 hasConcept C179799912 @default.
- W1990497675 hasConcept C192034797 @default.
- W1990497675 hasConcept C197685441 @default.
- W1990497675 hasConcept C2524010 @default.
- W1990497675 hasConcept C2776036281 @default.
- W1990497675 hasConcept C33923547 @default.
- W1990497675 hasConcept C34388435 @default.
- W1990497675 hasConcept C41008148 @default.
- W1990497675 hasConcept C77553402 @default.
- W1990497675 hasConcept C80444323 @default.
- W1990497675 hasConceptScore W1990497675C112505250 @default.
- W1990497675 hasConceptScore W1990497675C11413529 @default.
- W1990497675 hasConceptScore W1990497675C114614502 @default.
- W1990497675 hasConceptScore W1990497675C115988155 @default.
- W1990497675 hasConceptScore W1990497675C118615104 @default.
- W1990497675 hasConceptScore W1990497675C134306372 @default.
- W1990497675 hasConceptScore W1990497675C153269930 @default.
- W1990497675 hasConceptScore W1990497675C179799912 @default.
- W1990497675 hasConceptScore W1990497675C192034797 @default.
- W1990497675 hasConceptScore W1990497675C197685441 @default.
- W1990497675 hasConceptScore W1990497675C2524010 @default.
- W1990497675 hasConceptScore W1990497675C2776036281 @default.
- W1990497675 hasConceptScore W1990497675C33923547 @default.
- W1990497675 hasConceptScore W1990497675C34388435 @default.
- W1990497675 hasConceptScore W1990497675C41008148 @default.
- W1990497675 hasConceptScore W1990497675C77553402 @default.
- W1990497675 hasConceptScore W1990497675C80444323 @default.
- W1990497675 hasLocation W19904976751 @default.
- W1990497675 hasLocation W19904976752 @default.
- W1990497675 hasLocation W19904976753 @default.
- W1990497675 hasLocation W19904976754 @default.
- W1990497675 hasLocation W19904976755 @default.
- W1990497675 hasLocation W19904976756 @default.
- W1990497675 hasOpenAccess W1990497675 @default.
- W1990497675 hasPrimaryLocation W19904976751 @default.
- W1990497675 hasRelatedWork W1543051890 @default.
- W1990497675 hasRelatedWork W162848099 @default.
- W1990497675 hasRelatedWork W1693995122 @default.
- W1990497675 hasRelatedWork W2029797408 @default.
- W1990497675 hasRelatedWork W2489809986 @default.
- W1990497675 hasRelatedWork W3022248317 @default.
- W1990497675 hasRelatedWork W3144220040 @default.
- W1990497675 hasRelatedWork W4234189135 @default.
- W1990497675 hasRelatedWork W2170336571 @default.
- W1990497675 hasRelatedWork W2585890227 @default.
- W1990497675 hasVolume "73" @default.
- W1990497675 isParatext "false" @default.
- W1990497675 isRetracted "false" @default.
- W1990497675 magId "1990497675" @default.
- W1990497675 workType "article" @default.