FRINK Linked Data Fragments server

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

• W1966557697 endingPage "25" @default.
• W1966557697 startingPage "1" @default.
• W1966557697 abstract "Partially specified systems and specifications are used in formal methods such as stepwise design and query checking. Existing methods consider a setting in which systems and their correctness are Boolean. In recent years, there has been growing interest and need for quantitative formal methods, where systems may be weighted and specifications may be multivalued. Weighted automata, which map input words to a numerical value, play a key role in quantitative reasoning. Technically, every transition in a weighted automaton A has a cost, and the value A assigns to a finite word w is the sum of the costs on the transitions traversed along the most expensive accepting run of A on w . We study parameterized weighted containment : given three weighted automata A , B , and C , with B being partial, the goal is to find an assignment to the missing costs in B so that we end up with B ′ for which B ′≤ C , where ≤ is the weighted counterpart of containment. We also consider a one-sided version of the problem, where only A or only C is given in addition to B , and the goal is to find a minimal assignment with which A ≤ B ′ or, respectively, a maximal one with which B ′ ≤ C . We argue that both problems are useful in stepwise design of weighted systems as well as approximated minimization of weighted automata. We show that when the automata are deterministic, we can solve the problems in polynomial time. Our solution is based on the observation that the set of legal assignments to k missing costs forms a k -dimensional polytope. The technical challenge is to find an assignment in polynomial time even though the polytope is defined by means of exponentially many inequalities. We do so by developing a divide-and-conquer algorithm based on a separation oracle for polytopes. For nondeterministic automata, the weighted setting is much more complex, and in fact even nonparameterized containment is undecidable. We are able to show positive results for variants of the problems, where containment is replaced by simulation." @default.
• W1966557697 created "2016-06-24" @default.
• W1966557697 creator A5029172336 @default.
• W1966557697 creator A5077429082 @default.
• W1966557697 date "2014-12-23" @default.
• W1966557697 modified "2023-10-16" @default.
• W1966557697 title "Parameterized Weighted Containment" @default.
• W1966557697 cites W15573929 @default.
• W1966557697 cites W1560050980 @default.
• W1966557697 cites W1560374668 @default.
• W1966557697 cites W1835836356 @default.
• W1966557697 cites W1852784691 @default.
• W1966557697 cites W1901242960 @default.
• W1966557697 cites W1967389018 @default.
• W1966557697 cites W1969587526 @default.
• W1966557697 cites W1986431211 @default.
• W1966557697 cites W1990609140 @default.
• W1966557697 cites W2012329067 @default.
• W1966557697 cites W2017603160 @default.
• W1966557697 cites W2025782239 @default.
• W1966557697 cites W2046932483 @default.
• W1966557697 cites W2088221897 @default.
• W1966557697 cites W2095761776 @default.
• W1966557697 cites W2100440346 @default.
• W1966557697 cites W2115271283 @default.
• W1966557697 cites W2912461213 @default.
• W1966557697 cites W2999237515 @default.
• W1966557697 cites W4245234767 @default.
• W1966557697 doi "https://doi.org/10.1145/2665076" @default.
• W1966557697 hasPublicationYear "2014" @default.
• W1966557697 type Work @default.
• W1966557697 sameAs 1966557697 @default.
• W1966557697 citedByCount "1" @default.
• W1966557697 countsByYear W19665576972015 @default.
• W1966557697 crossrefType "journal-article" @default.
• W1966557697 hasAuthorship W1966557697A5029172336 @default.
• W1966557697 hasAuthorship W1966557697A5077429082 @default.
• W1966557697 hasBestOaLocation W19665576972 @default.
• W1966557697 hasConcept C110251889 @default.
• W1966557697 hasConcept C112505250 @default.
• W1966557697 hasConcept C11413529 @default.
• W1966557697 hasConcept C118615104 @default.
• W1966557697 hasConcept C165464430 @default.
• W1966557697 hasConcept C199360897 @default.
• W1966557697 hasConcept C2777019822 @default.
• W1966557697 hasConcept C33923547 @default.
• W1966557697 hasConcept C41008148 @default.
• W1966557697 hasConcept C55439883 @default.
• W1966557697 hasConcept C80444323 @default.
• W1966557697 hasConceptScore W1966557697C110251889 @default.
• W1966557697 hasConceptScore W1966557697C112505250 @default.
• W1966557697 hasConceptScore W1966557697C11413529 @default.
• W1966557697 hasConceptScore W1966557697C118615104 @default.
• W1966557697 hasConceptScore W1966557697C165464430 @default.
• W1966557697 hasConceptScore W1966557697C199360897 @default.
• W1966557697 hasConceptScore W1966557697C2777019822 @default.
• W1966557697 hasConceptScore W1966557697C33923547 @default.
• W1966557697 hasConceptScore W1966557697C41008148 @default.
• W1966557697 hasConceptScore W1966557697C55439883 @default.
• W1966557697 hasConceptScore W1966557697C80444323 @default.
• W1966557697 hasFunder F4320334678 @default.
• W1966557697 hasIssue "1" @default.
• W1966557697 hasLocation W19665576971 @default.
• W1966557697 hasLocation W19665576972 @default.
• W1966557697 hasOpenAccess W1966557697 @default.
• W1966557697 hasPrimaryLocation W19665576971 @default.
• W1966557697 hasRelatedWork W1583551426 @default.
• W1966557697 hasRelatedWork W1603554695 @default.
• W1966557697 hasRelatedWork W1968448471 @default.
• W1966557697 hasRelatedWork W2130433881 @default.
• W1966557697 hasRelatedWork W2326316958 @default.
• W1966557697 hasRelatedWork W2803302060 @default.
• W1966557697 hasRelatedWork W3021273075 @default.
• W1966557697 hasRelatedWork W4236308467 @default.
• W1966557697 hasRelatedWork W4287783361 @default.
• W1966557697 hasRelatedWork W2746280673 @default.
• W1966557697 hasVolume "16" @default.
• W1966557697 isParatext "false" @default.
• W1966557697 isRetracted "false" @default.
• W1966557697 magId "1966557697" @default.
• W1966557697 workType "article" @default.