Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953002907> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2953002907 abstract "In this work we introduce the emph{Conditional Hyper Temporal Network (CHyTN)} model, which is a natural extension and generalization of both the CSTN and the HTN model. Our contribution goes as follows. We show that deciding whether a given CSTN or CHyTN is dynamically consistent is coNP-hard. Then, we offer a proof that deciding whether a given CHyTN is dynamically consistent is PSPACE-hard, provided that the input instances are allowed to include both multi-head and multi-tail hyperarcs. In light of this, we continue our study by focusing on CHyTNs that allow only multi-head or only multi-tail hyperarcs, and we offer the first deterministic (pseudo) singly-exponential time algorithm for the problem of checking the dynamic-consistency of such CHyTNs, also producing a dynamic execution strategy whenever the input CHyTN is dynamically consistent. Since CSTN{s} are a special case of CHyTNs, this provides as a byproduct the first sound-and-complete (pseudo) singly-exponential time algorithm for checking dynamic-consistency in CSTNs. The proposed algorithm is based on a novel connection between CSTN{s}/CHyTN{s} and Mean Payoff Games. The presentation of the connection between CSTN{s}/CHyTNs and MPG{s} is mediated by the HTN model. In order to analyze the algorithm, we introduce a refined notion of dynamic-consistency, named $epsilon$-dynamic-consistency, and present a sharp lower bounding analysis on the critical value of the reaction time $hat{varepsilon}$ where a CSTN/CHyTN transits from being, to not being, dynamically consistent. The proof technique introduced in this analysis of $hat{varepsilon}$ is applicable more generally when dealing with linear difference constraints which include strict inequalities." @default.
- W2953002907 created "2019-06-27" @default.
- W2953002907 creator A5037223268 @default.
- W2953002907 creator A5061874157 @default.
- W2953002907 date "2016-02-19" @default.
- W2953002907 modified "2023-09-27" @default.
- W2953002907 title "Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)" @default.
- W2953002907 cites W1499080149 @default.
- W2953002907 cites W1596577245 @default.
- W2953002907 cites W1643849039 @default.
- W2953002907 cites W1964119857 @default.
- W2953002907 cites W1971499713 @default.
- W2953002907 cites W1981670708 @default.
- W2953002907 cites W2000753814 @default.
- W2953002907 cites W2026128612 @default.
- W2953002907 cites W2058155796 @default.
- W2953002907 cites W2065595179 @default.
- W2953002907 cites W2086817564 @default.
- W2953002907 cites W2169859441 @default.
- W2953002907 cites W2227557434 @default.
- W2953002907 cites W2248443079 @default.
- W2953002907 cites W2514776524 @default.
- W2953002907 cites W2572933462 @default.
- W2953002907 cites W2752885492 @default.
- W2953002907 cites W2795976437 @default.
- W2953002907 cites W82261834 @default.
- W2953002907 cites W940991229 @default.
- W2953002907 hasPublicationYear "2016" @default.
- W2953002907 type Work @default.
- W2953002907 sameAs 2953002907 @default.
- W2953002907 citedByCount "0" @default.
- W2953002907 crossrefType "posted-content" @default.
- W2953002907 hasAuthorship W2953002907A5037223268 @default.
- W2953002907 hasAuthorship W2953002907A5061874157 @default.
- W2953002907 hasConcept C11413529 @default.
- W2953002907 hasConcept C118615104 @default.
- W2953002907 hasConcept C13355873 @default.
- W2953002907 hasConcept C134306372 @default.
- W2953002907 hasConcept C144237770 @default.
- W2953002907 hasConcept C151376022 @default.
- W2953002907 hasConcept C154945302 @default.
- W2953002907 hasConcept C177148314 @default.
- W2953002907 hasConcept C179799912 @default.
- W2953002907 hasConcept C197685441 @default.
- W2953002907 hasConcept C22171661 @default.
- W2953002907 hasConcept C2524010 @default.
- W2953002907 hasConcept C2776436953 @default.
- W2953002907 hasConcept C33923547 @default.
- W2953002907 hasConcept C41008148 @default.
- W2953002907 hasConcept C63584917 @default.
- W2953002907 hasConcept C80444323 @default.
- W2953002907 hasConceptScore W2953002907C11413529 @default.
- W2953002907 hasConceptScore W2953002907C118615104 @default.
- W2953002907 hasConceptScore W2953002907C13355873 @default.
- W2953002907 hasConceptScore W2953002907C134306372 @default.
- W2953002907 hasConceptScore W2953002907C144237770 @default.
- W2953002907 hasConceptScore W2953002907C151376022 @default.
- W2953002907 hasConceptScore W2953002907C154945302 @default.
- W2953002907 hasConceptScore W2953002907C177148314 @default.
- W2953002907 hasConceptScore W2953002907C179799912 @default.
- W2953002907 hasConceptScore W2953002907C197685441 @default.
- W2953002907 hasConceptScore W2953002907C22171661 @default.
- W2953002907 hasConceptScore W2953002907C2524010 @default.
- W2953002907 hasConceptScore W2953002907C2776436953 @default.
- W2953002907 hasConceptScore W2953002907C33923547 @default.
- W2953002907 hasConceptScore W2953002907C41008148 @default.
- W2953002907 hasConceptScore W2953002907C63584917 @default.
- W2953002907 hasConceptScore W2953002907C80444323 @default.
- W2953002907 hasLocation W29530029071 @default.
- W2953002907 hasOpenAccess W2953002907 @default.
- W2953002907 hasPrimaryLocation W29530029071 @default.
- W2953002907 hasRelatedWork W134166032 @default.
- W2953002907 hasRelatedWork W2016658465 @default.
- W2953002907 hasRelatedWork W2094449803 @default.
- W2953002907 hasRelatedWork W2097911155 @default.
- W2953002907 hasRelatedWork W2150079149 @default.
- W2953002907 hasRelatedWork W2242202681 @default.
- W2953002907 hasRelatedWork W2255082502 @default.
- W2953002907 hasRelatedWork W2280881486 @default.
- W2953002907 hasRelatedWork W2605569246 @default.
- W2953002907 hasRelatedWork W2807823918 @default.
- W2953002907 hasRelatedWork W2913723619 @default.
- W2953002907 hasRelatedWork W2916643271 @default.
- W2953002907 hasRelatedWork W2918325726 @default.
- W2953002907 hasRelatedWork W2947705190 @default.
- W2953002907 hasRelatedWork W2951248988 @default.
- W2953002907 hasRelatedWork W2951911453 @default.
- W2953002907 hasRelatedWork W2963055415 @default.
- W2953002907 hasRelatedWork W2990210896 @default.
- W2953002907 hasRelatedWork W3105443234 @default.
- W2953002907 hasRelatedWork W3131677305 @default.
- W2953002907 isParatext "false" @default.
- W2953002907 isRetracted "false" @default.
- W2953002907 magId "2953002907" @default.
- W2953002907 workType "article" @default.