Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912387534> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2912387534 endingPage "46" @default.
- W2912387534 startingPage "28" @default.
- W2912387534 abstract "We investigate the open synthesis problem in a quantitative game theoretic setting where the system model is annotated with multiple nonnegative weights representing quantitative resources such as energy, discrete time or cost. We consider system specifications expressed in the branching time logic CTL extended with bounds on resources. As our first contribution, we show that the model checking problem for the full logic is undecidable with already three weights. By restricting the bounds to constant upper or lower-bounds on the individual weights, we demonstrate that the problem becomes decidable and that the model checking problem is PSPACE-complete. As a second contribution, we show that by imposing upper-bounds on the temporal operators and assuming that the cost converges over infinite runs, the synthesis problem is also decidable. Finally, we provide an on-the-fly algorithm for the synthesis problem on an unrestricted model for a reachability fragment of the logic and we prove EXPTIME-completeness of the synthesis problem." @default.
- W2912387534 created "2019-02-21" @default.
- W2912387534 creator A5009728620 @default.
- W2912387534 creator A5055363991 @default.
- W2912387534 creator A5069362159 @default.
- W2912387534 creator A5084185536 @default.
- W2912387534 creator A5086138428 @default.
- W2912387534 date "2019-06-01" @default.
- W2912387534 modified "2023-10-18" @default.
- W2912387534 title "Model checking and synthesis for branching multi-weighted logics" @default.
- W2912387534 cites W1977670989 @default.
- W2912387534 cites W1982129592 @default.
- W2912387534 cites W2012436850 @default.
- W2912387534 cites W2160029445 @default.
- W2912387534 cites W2286042860 @default.
- W2912387534 cites W2425244199 @default.
- W2912387534 doi "https://doi.org/10.1016/j.jlamp.2019.02.001" @default.
- W2912387534 hasPublicationYear "2019" @default.
- W2912387534 type Work @default.
- W2912387534 sameAs 2912387534 @default.
- W2912387534 citedByCount "4" @default.
- W2912387534 countsByYear W29123875342019 @default.
- W2912387534 countsByYear W29123875342020 @default.
- W2912387534 countsByYear W29123875342022 @default.
- W2912387534 crossrefType "journal-article" @default.
- W2912387534 hasAuthorship W2912387534A5009728620 @default.
- W2912387534 hasAuthorship W2912387534A5055363991 @default.
- W2912387534 hasAuthorship W2912387534A5069362159 @default.
- W2912387534 hasAuthorship W2912387534A5084185536 @default.
- W2912387534 hasAuthorship W2912387534A5086138428 @default.
- W2912387534 hasBestOaLocation W29123875341 @default.
- W2912387534 hasConcept C110251889 @default.
- W2912387534 hasConcept C11413529 @default.
- W2912387534 hasConcept C118615104 @default.
- W2912387534 hasConcept C134306372 @default.
- W2912387534 hasConcept C136643341 @default.
- W2912387534 hasConcept C153269930 @default.
- W2912387534 hasConcept C159985019 @default.
- W2912387534 hasConcept C179799912 @default.
- W2912387534 hasConcept C192034797 @default.
- W2912387534 hasConcept C192562407 @default.
- W2912387534 hasConcept C197685441 @default.
- W2912387534 hasConcept C199360897 @default.
- W2912387534 hasConcept C206175624 @default.
- W2912387534 hasConcept C25016198 @default.
- W2912387534 hasConcept C2776235265 @default.
- W2912387534 hasConcept C2777027219 @default.
- W2912387534 hasConcept C2777669093 @default.
- W2912387534 hasConcept C33923547 @default.
- W2912387534 hasConcept C41008148 @default.
- W2912387534 hasConcept C4777664 @default.
- W2912387534 hasConcept C56049555 @default.
- W2912387534 hasConcept C77553402 @default.
- W2912387534 hasConcept C80444323 @default.
- W2912387534 hasConceptScore W2912387534C110251889 @default.
- W2912387534 hasConceptScore W2912387534C11413529 @default.
- W2912387534 hasConceptScore W2912387534C118615104 @default.
- W2912387534 hasConceptScore W2912387534C134306372 @default.
- W2912387534 hasConceptScore W2912387534C136643341 @default.
- W2912387534 hasConceptScore W2912387534C153269930 @default.
- W2912387534 hasConceptScore W2912387534C159985019 @default.
- W2912387534 hasConceptScore W2912387534C179799912 @default.
- W2912387534 hasConceptScore W2912387534C192034797 @default.
- W2912387534 hasConceptScore W2912387534C192562407 @default.
- W2912387534 hasConceptScore W2912387534C197685441 @default.
- W2912387534 hasConceptScore W2912387534C199360897 @default.
- W2912387534 hasConceptScore W2912387534C206175624 @default.
- W2912387534 hasConceptScore W2912387534C25016198 @default.
- W2912387534 hasConceptScore W2912387534C2776235265 @default.
- W2912387534 hasConceptScore W2912387534C2777027219 @default.
- W2912387534 hasConceptScore W2912387534C2777669093 @default.
- W2912387534 hasConceptScore W2912387534C33923547 @default.
- W2912387534 hasConceptScore W2912387534C41008148 @default.
- W2912387534 hasConceptScore W2912387534C4777664 @default.
- W2912387534 hasConceptScore W2912387534C56049555 @default.
- W2912387534 hasConceptScore W2912387534C77553402 @default.
- W2912387534 hasConceptScore W2912387534C80444323 @default.
- W2912387534 hasFunder F4320313796 @default.
- W2912387534 hasLocation W29123875341 @default.
- W2912387534 hasLocation W29123875342 @default.
- W2912387534 hasOpenAccess W2912387534 @default.
- W2912387534 hasPrimaryLocation W29123875341 @default.
- W2912387534 hasRelatedWork W147131300 @default.
- W2912387534 hasRelatedWork W1853345069 @default.
- W2912387534 hasRelatedWork W2017872109 @default.
- W2912387534 hasRelatedWork W2803699674 @default.
- W2912387534 hasRelatedWork W2912387534 @default.
- W2912387534 hasRelatedWork W2940295387 @default.
- W2912387534 hasRelatedWork W2950921017 @default.
- W2912387534 hasRelatedWork W3102946820 @default.
- W2912387534 hasRelatedWork W4367365557 @default.
- W2912387534 hasRelatedWork W4300286803 @default.
- W2912387534 hasVolume "105" @default.
- W2912387534 isParatext "false" @default.
- W2912387534 isRetracted "false" @default.
- W2912387534 magId "2912387534" @default.
- W2912387534 workType "article" @default.