Matches in SemOpenAlex for { <https://semopenalex.org/work/W4210247746> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4210247746 endingPage "104551" @default.
- W4210247746 startingPage "104551" @default.
- W4210247746 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.
- W4210247746 created "2022-02-08" @default.
- W4210247746 creator A5000922082 @default.
- W4210247746 creator A5020611616 @default.
- W4210247746 creator A5055415505 @default.
- W4210247746 creator A5061257841 @default.
- W4210247746 date "2021-02-01" @default.
- W4210247746 modified "2023-09-25" @default.
- W4210247746 title "Preface" @default.
- W4210247746 doi "https://doi.org/10.1016/j.ic.2020.104551" @default.
- W4210247746 hasPublicationYear "2021" @default.
- W4210247746 type Work @default.
- W4210247746 citedByCount "0" @default.
- W4210247746 crossrefType "journal-article" @default.
- W4210247746 hasAuthorship W4210247746A5000922082 @default.
- W4210247746 hasAuthorship W4210247746A5020611616 @default.
- W4210247746 hasAuthorship W4210247746A5055415505 @default.
- W4210247746 hasAuthorship W4210247746A5061257841 @default.
- W4210247746 hasConcept C110251889 @default.
- W4210247746 hasConcept C11413529 @default.
- W4210247746 hasConcept C118615104 @default.
- W4210247746 hasConcept C134306372 @default.
- W4210247746 hasConcept C136643341 @default.
- W4210247746 hasConcept C153269930 @default.
- W4210247746 hasConcept C179799912 @default.
- W4210247746 hasConcept C192034797 @default.
- W4210247746 hasConcept C197685441 @default.
- W4210247746 hasConcept C199360897 @default.
- W4210247746 hasConcept C25016198 @default.
- W4210247746 hasConcept C2776235265 @default.
- W4210247746 hasConcept C2777027219 @default.
- W4210247746 hasConcept C2777669093 @default.
- W4210247746 hasConcept C33923547 @default.
- W4210247746 hasConcept C41008148 @default.
- W4210247746 hasConcept C4777664 @default.
- W4210247746 hasConcept C56049555 @default.
- W4210247746 hasConcept C77553402 @default.
- W4210247746 hasConcept C80444323 @default.
- W4210247746 hasConceptScore W4210247746C110251889 @default.
- W4210247746 hasConceptScore W4210247746C11413529 @default.
- W4210247746 hasConceptScore W4210247746C118615104 @default.
- W4210247746 hasConceptScore W4210247746C134306372 @default.
- W4210247746 hasConceptScore W4210247746C136643341 @default.
- W4210247746 hasConceptScore W4210247746C153269930 @default.
- W4210247746 hasConceptScore W4210247746C179799912 @default.
- W4210247746 hasConceptScore W4210247746C192034797 @default.
- W4210247746 hasConceptScore W4210247746C197685441 @default.
- W4210247746 hasConceptScore W4210247746C199360897 @default.
- W4210247746 hasConceptScore W4210247746C25016198 @default.
- W4210247746 hasConceptScore W4210247746C2776235265 @default.
- W4210247746 hasConceptScore W4210247746C2777027219 @default.
- W4210247746 hasConceptScore W4210247746C2777669093 @default.
- W4210247746 hasConceptScore W4210247746C33923547 @default.
- W4210247746 hasConceptScore W4210247746C41008148 @default.
- W4210247746 hasConceptScore W4210247746C4777664 @default.
- W4210247746 hasConceptScore W4210247746C56049555 @default.
- W4210247746 hasConceptScore W4210247746C77553402 @default.
- W4210247746 hasConceptScore W4210247746C80444323 @default.
- W4210247746 hasLocation W42102477461 @default.
- W4210247746 hasOpenAccess W4210247746 @default.
- W4210247746 hasPrimaryLocation W42102477461 @default.
- W4210247746 hasRelatedWork W147131300 @default.
- W4210247746 hasRelatedWork W1489794625 @default.
- W4210247746 hasRelatedWork W1834081712 @default.
- W4210247746 hasRelatedWork W2017872109 @default.
- W4210247746 hasRelatedWork W2048780543 @default.
- W4210247746 hasRelatedWork W2803699674 @default.
- W4210247746 hasRelatedWork W2912387534 @default.
- W4210247746 hasRelatedWork W2950921017 @default.
- W4210247746 hasRelatedWork W2995528133 @default.
- W4210247746 hasRelatedWork W4300286803 @default.
- W4210247746 hasVolume "276" @default.
- W4210247746 isParatext "false" @default.
- W4210247746 isRetracted "false" @default.
- W4210247746 workType "article" @default.