FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2280881486> ?p ?o ?g. }

• W2280881486 abstract "We consider the optimization variant of the realizability problem for Prompt Linear Temporal Logic, an extension of Linear Temporal Logic (LTL) by the prompt eventually operator whose scope is bounded by some parameter. In the realizability optimization problem, one is interested in computing the minimal such bound that allows to realize a given specification. It is known that this problem is solvable in triply-exponential time, but not whether it can be done in doubly-exponential time, i.e., whether it is just as hard as solving LTL realizability. We take a step towards resolving this problem by showing that the optimum can be approximated within a factor of two in doubly-exponential time. Also, we report on a proof-of-concept implementation of the algorithm based on bounded LTL synthesis, which computes the smallest implementation of a given specification. In our experiments, we observe a tradeoff between the size of the implementation and the bound it realizes. We investigate this tradeoff in the general case and prove upper bounds, which reduce the search space for the algorithm, and matching lower bounds." @default.
• W2280881486 created "2016-06-24" @default.
• W2280881486 creator A5012221975 @default.
• W2280881486 creator A5047415159 @default.
• W2280881486 creator A5064596121 @default.
• W2280881486 date "2016-09-13" @default.
• W2280881486 modified "2023-09-26" @default.
• W2280881486 title "Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time" @default.
• W2280881486 cites W143039783 @default.
• W2280881486 cites W1526785305 @default.
• W2280881486 cites W1590266960 @default.
• W2280881486 cites W1737156267 @default.
• W2280881486 cites W1852279314 @default.
• W2280881486 cites W1966723394 @default.
• W2280881486 cites W2016206563 @default.
• W2280881486 cites W2019700891 @default.
• W2280881486 cites W2023329406 @default.
• W2280881486 cites W2023808162 @default.
• W2280881486 cites W2048780543 @default.
• W2280881486 cites W2108036288 @default.
• W2280881486 cites W2111299652 @default.
• W2280881486 cites W2150447589 @default.
• W2280881486 cites W2247381900 @default.
• W2280881486 cites W3002839602 @default.
• W2280881486 cites W4241616303 @default.
• W2280881486 doi "https://doi.org/10.4204/eptcs.226.21" @default.
• W2280881486 hasPublicationYear "2016" @default.
• W2280881486 type Work @default.
• W2280881486 sameAs 2280881486 @default.
• W2280881486 citedByCount "3" @default.
• W2280881486 countsByYear W22808814862015 @default.
• W2280881486 countsByYear W22808814862020 @default.
• W2280881486 crossrefType "journal-article" @default.
• W2280881486 hasAuthorship W2280881486A5012221975 @default.
• W2280881486 hasAuthorship W2280881486A5047415159 @default.
• W2280881486 hasAuthorship W2280881486A5064596121 @default.
• W2280881486 hasBestOaLocation W22808814861 @default.
• W2280881486 hasConcept C104317684 @default.
• W2280881486 hasConcept C11413529 @default.
• W2280881486 hasConcept C118615104 @default.
• W2280881486 hasConcept C126255220 @default.
• W2280881486 hasConcept C134306372 @default.
• W2280881486 hasConcept C151376022 @default.
• W2280881486 hasConcept C158448853 @default.
• W2280881486 hasConcept C17020691 @default.
• W2280881486 hasConcept C179799912 @default.
• W2280881486 hasConcept C185592680 @default.
• W2280881486 hasConcept C197685441 @default.
• W2280881486 hasConcept C25016198 @default.
• W2280881486 hasConcept C2776378722 @default.
• W2280881486 hasConcept C28826006 @default.
• W2280881486 hasConcept C33923547 @default.
• W2280881486 hasConcept C34388435 @default.
• W2280881486 hasConcept C41008148 @default.
• W2280881486 hasConcept C4777664 @default.
• W2280881486 hasConcept C55493867 @default.
• W2280881486 hasConcept C77553402 @default.
• W2280881486 hasConcept C80444323 @default.
• W2280881486 hasConcept C86339819 @default.
• W2280881486 hasConceptScore W2280881486C104317684 @default.
• W2280881486 hasConceptScore W2280881486C11413529 @default.
• W2280881486 hasConceptScore W2280881486C118615104 @default.
• W2280881486 hasConceptScore W2280881486C126255220 @default.
• W2280881486 hasConceptScore W2280881486C134306372 @default.
• W2280881486 hasConceptScore W2280881486C151376022 @default.
• W2280881486 hasConceptScore W2280881486C158448853 @default.
• W2280881486 hasConceptScore W2280881486C17020691 @default.
• W2280881486 hasConceptScore W2280881486C179799912 @default.
• W2280881486 hasConceptScore W2280881486C185592680 @default.
• W2280881486 hasConceptScore W2280881486C197685441 @default.
• W2280881486 hasConceptScore W2280881486C25016198 @default.
• W2280881486 hasConceptScore W2280881486C2776378722 @default.
• W2280881486 hasConceptScore W2280881486C28826006 @default.
• W2280881486 hasConceptScore W2280881486C33923547 @default.
• W2280881486 hasConceptScore W2280881486C34388435 @default.
• W2280881486 hasConceptScore W2280881486C41008148 @default.
• W2280881486 hasConceptScore W2280881486C4777664 @default.
• W2280881486 hasConceptScore W2280881486C55493867 @default.
• W2280881486 hasConceptScore W2280881486C77553402 @default.
• W2280881486 hasConceptScore W2280881486C80444323 @default.
• W2280881486 hasConceptScore W2280881486C86339819 @default.
• W2280881486 hasLocation W22808814861 @default.
• W2280881486 hasLocation W22808814862 @default.
• W2280881486 hasOpenAccess W2280881486 @default.
• W2280881486 hasPrimaryLocation W22808814861 @default.
• W2280881486 hasRelatedWork W134166032 @default.
• W2280881486 hasRelatedWork W134319014 @default.
• W2280881486 hasRelatedWork W1600160609 @default.
• W2280881486 hasRelatedWork W1620394099 @default.
• W2280881486 hasRelatedWork W1985204981 @default.
• W2280881486 hasRelatedWork W2255082502 @default.
• W2280881486 hasRelatedWork W2295332800 @default.
• W2280881486 hasRelatedWork W2378875912 @default.
• W2280881486 hasRelatedWork W2488984458 @default.
• W2280881486 hasRelatedWork W2611894792 @default.
• W2280881486 hasRelatedWork W2803651979 @default.
• W2280881486 hasRelatedWork W2810666948 @default.
• W2280881486 hasRelatedWork W2923538509 @default.
• W2280881486 hasRelatedWork W2930306418 @default.
• W2280881486 hasRelatedWork W2952741891 @default.

• next