Matches in SemOpenAlex for { <https://semopenalex.org/work/W2616020715> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2616020715 endingPage "270" @default.
- W2616020715 startingPage "259" @default.
- W2616020715 abstract "We show how to synthesise parameter values under which a given property, expressed in a certain extension of CTL, called RTCTLP, holds in a parametric timed Kripke structure. We prove the decidability of parameter synthesis for RTCTLP by showing how to restrict the infinite space of parameter valuations to its finite subset and employ a brute-force algorithm. The brute-force approach soon becomes intractable, therefore we propose a symbolic algorithm for RTCTLP parameter synthesis. Similarly to the fixed-point symbolic model checking approach, we introduce special operators which stabilise on the solution. The process of stabilisation is essentially a translation from the RTCTLP parameter synthesis problem to a discrete optimization task. We show that the proposed method is sound and complete and provide some complexity results. We argue that this approach leads to new opportunities in model checking, including the use of integer programming and related tools." @default.
- W2616020715 created "2017-05-26" @default.
- W2616020715 creator A5015791359 @default.
- W2616020715 creator A5040588151 @default.
- W2616020715 date "2013-01-01" @default.
- W2616020715 modified "2023-09-23" @default.
- W2616020715 title "Parameter Synthesis for Timed Kripke Structures." @default.
- W2616020715 hasPublicationYear "2013" @default.
- W2616020715 type Work @default.
- W2616020715 sameAs 2616020715 @default.
- W2616020715 citedByCount "0" @default.
- W2616020715 crossrefType "journal-article" @default.
- W2616020715 hasAuthorship W2616020715A5015791359 @default.
- W2616020715 hasAuthorship W2616020715A5040588151 @default.
- W2616020715 hasConcept C104317684 @default.
- W2616020715 hasConcept C105580179 @default.
- W2616020715 hasConcept C105795698 @default.
- W2616020715 hasConcept C110251889 @default.
- W2616020715 hasConcept C111472728 @default.
- W2616020715 hasConcept C11413529 @default.
- W2616020715 hasConcept C117251300 @default.
- W2616020715 hasConcept C118615104 @default.
- W2616020715 hasConcept C138885662 @default.
- W2616020715 hasConcept C149364088 @default.
- W2616020715 hasConcept C153269930 @default.
- W2616020715 hasConcept C161913894 @default.
- W2616020715 hasConcept C185592680 @default.
- W2616020715 hasConcept C189950617 @default.
- W2616020715 hasConcept C199360897 @default.
- W2616020715 hasConcept C23123167 @default.
- W2616020715 hasConcept C2778029271 @default.
- W2616020715 hasConcept C33923547 @default.
- W2616020715 hasConcept C41008148 @default.
- W2616020715 hasConcept C55493867 @default.
- W2616020715 hasConcept C73586568 @default.
- W2616020715 hasConcept C80444323 @default.
- W2616020715 hasConceptScore W2616020715C104317684 @default.
- W2616020715 hasConceptScore W2616020715C105580179 @default.
- W2616020715 hasConceptScore W2616020715C105795698 @default.
- W2616020715 hasConceptScore W2616020715C110251889 @default.
- W2616020715 hasConceptScore W2616020715C111472728 @default.
- W2616020715 hasConceptScore W2616020715C11413529 @default.
- W2616020715 hasConceptScore W2616020715C117251300 @default.
- W2616020715 hasConceptScore W2616020715C118615104 @default.
- W2616020715 hasConceptScore W2616020715C138885662 @default.
- W2616020715 hasConceptScore W2616020715C149364088 @default.
- W2616020715 hasConceptScore W2616020715C153269930 @default.
- W2616020715 hasConceptScore W2616020715C161913894 @default.
- W2616020715 hasConceptScore W2616020715C185592680 @default.
- W2616020715 hasConceptScore W2616020715C189950617 @default.
- W2616020715 hasConceptScore W2616020715C199360897 @default.
- W2616020715 hasConceptScore W2616020715C23123167 @default.
- W2616020715 hasConceptScore W2616020715C2778029271 @default.
- W2616020715 hasConceptScore W2616020715C33923547 @default.
- W2616020715 hasConceptScore W2616020715C41008148 @default.
- W2616020715 hasConceptScore W2616020715C55493867 @default.
- W2616020715 hasConceptScore W2616020715C73586568 @default.
- W2616020715 hasConceptScore W2616020715C80444323 @default.
- W2616020715 hasLocation W26160207151 @default.
- W2616020715 hasOpenAccess W2616020715 @default.
- W2616020715 hasPrimaryLocation W26160207151 @default.
- W2616020715 hasRelatedWork W1504739534 @default.
- W2616020715 hasRelatedWork W1597499909 @default.
- W2616020715 hasRelatedWork W1605821400 @default.
- W2616020715 hasRelatedWork W1693812211 @default.
- W2616020715 hasRelatedWork W1700789124 @default.
- W2616020715 hasRelatedWork W2003378122 @default.
- W2616020715 hasRelatedWork W2023329406 @default.
- W2616020715 hasRelatedWork W2090612177 @default.
- W2616020715 hasRelatedWork W2129254290 @default.
- W2616020715 hasRelatedWork W2188945875 @default.
- W2616020715 hasRelatedWork W2271441959 @default.
- W2616020715 hasRelatedWork W2294723158 @default.
- W2616020715 hasRelatedWork W2390661617 @default.
- W2616020715 hasRelatedWork W2613210537 @default.
- W2616020715 hasRelatedWork W2623081226 @default.
- W2616020715 hasRelatedWork W2757433671 @default.
- W2616020715 hasRelatedWork W2952938415 @default.
- W2616020715 hasRelatedWork W3006543735 @default.
- W2616020715 hasRelatedWork W3183609626 @default.
- W2616020715 hasRelatedWork W437809555 @default.
- W2616020715 isParatext "false" @default.
- W2616020715 isRetracted "false" @default.
- W2616020715 magId "2616020715" @default.
- W2616020715 workType "article" @default.