FRINK Linked Data Fragments server

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

• W36408899 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 the 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 multi valued. Weighted automata, which map input words to a numerical value, play a key role in quantitative reasoning. Technically, every transition in a weighted automaton $mathcal{A}$ has a cost, and the value $mathcal{A}$ assigns to a finite word w is the sum of the costs on the transitions participating in the most expensive accepting run of $mathcal{A}$ on w. We study parameterized weighted containment: given three weighted automata $mathcal{A}, mathcal{B}$, and $mathcal{C}$, with $mathcal{B}$ being partial, the goal is to find an assignment to the missing costs in $mathcal{B}$ so that we end up with $mathcal{B}'$ for which $mathcal{A} leq mathcal{B}' leq mathcal{C}$, where ≤ is the weighted counterpart of containment. We also consider a one-sided version of the problem, where only $mathcal{A}$ or only $mathcal{C}$ are given in addition to $mathcal{B}$, and the goal is to find a minimal assignment with which $mathcal{A} leq B'$ or, respectively, a maximal one with which $mathcal{B}' leq mathcal{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 using a powerful mathematical tool that enables us to develop 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 non-parameterized containment is undecidable. We are still able to study variants of the problems, where containment is replaced by simulation." @default.
• W36408899 created "2016-06-24" @default.
• W36408899 creator A5029172336 @default.
• W36408899 creator A5077429082 @default.
• W36408899 date "2013-01-01" @default.
• W36408899 modified "2023-09-23" @default.
• W36408899 title "Parameterized Weighted Containment" @default.
• W36408899 cites W1514689351 @default.
• W36408899 cites W15573929 @default.
• W36408899 cites W1560050980 @default.
• W36408899 cites W1560374668 @default.
• W36408899 cites W166818797 @default.
• W36408899 cites W1835836356 @default.
• W36408899 cites W1852784691 @default.
• W36408899 cites W1901242960 @default.
• W36408899 cites W1967389018 @default.
• W36408899 cites W1969587526 @default.
• W36408899 cites W1997199152 @default.
• W36408899 cites W2012329067 @default.
• W36408899 cites W2025782239 @default.
• W36408899 cites W2046932483 @default.
• W36408899 cites W2088221897 @default.
• W36408899 cites W2095761776 @default.
• W36408899 cites W2100440346 @default.
• W36408899 cites W2115271283 @default.
• W36408899 cites W2912461213 @default.
• W36408899 doi "https://doi.org/10.1007/978-3-642-37075-5_24" @default.
• W36408899 hasPublicationYear "2013" @default.
• W36408899 type Work @default.
• W36408899 sameAs 36408899 @default.
• W36408899 citedByCount "1" @default.
• W36408899 countsByYear W364088992013 @default.
• W36408899 crossrefType "book-chapter" @default.
• W36408899 hasAuthorship W36408899A5029172336 @default.
• W36408899 hasAuthorship W36408899A5077429082 @default.
• W36408899 hasBestOaLocation W364088991 @default.
• W36408899 hasConcept C105795698 @default.
• W36408899 hasConcept C110251889 @default.
• W36408899 hasConcept C112505250 @default.
• W36408899 hasConcept C11413529 @default.
• W36408899 hasConcept C114614502 @default.
• W36408899 hasConcept C118615104 @default.
• W36408899 hasConcept C165464430 @default.
• W36408899 hasConcept C199360897 @default.
• W36408899 hasConcept C2776291640 @default.
• W36408899 hasConcept C2777019822 @default.
• W36408899 hasConcept C33923547 @default.
• W36408899 hasConcept C41008148 @default.
• W36408899 hasConcept C55439883 @default.
• W36408899 hasConcept C80444323 @default.
• W36408899 hasConceptScore W36408899C105795698 @default.
• W36408899 hasConceptScore W36408899C110251889 @default.
• W36408899 hasConceptScore W36408899C112505250 @default.
• W36408899 hasConceptScore W36408899C11413529 @default.
• W36408899 hasConceptScore W36408899C114614502 @default.
• W36408899 hasConceptScore W36408899C118615104 @default.
• W36408899 hasConceptScore W36408899C165464430 @default.
• W36408899 hasConceptScore W36408899C199360897 @default.
• W36408899 hasConceptScore W36408899C2776291640 @default.
• W36408899 hasConceptScore W36408899C2777019822 @default.
• W36408899 hasConceptScore W36408899C33923547 @default.
• W36408899 hasConceptScore W36408899C41008148 @default.
• W36408899 hasConceptScore W36408899C55439883 @default.
• W36408899 hasConceptScore W36408899C80444323 @default.
• W36408899 hasLocation W364088991 @default.
• W36408899 hasLocation W364088992 @default.
• W36408899 hasOpenAccess W36408899 @default.
• W36408899 hasPrimaryLocation W364088991 @default.
• W36408899 hasRelatedWork W1502244627 @default.
• W36408899 hasRelatedWork W1519358117 @default.
• W36408899 hasRelatedWork W1546802946 @default.
• W36408899 hasRelatedWork W1548801608 @default.
• W36408899 hasRelatedWork W2019118341 @default.
• W36408899 hasRelatedWork W2040030484 @default.
• W36408899 hasRelatedWork W2063926602 @default.
• W36408899 hasRelatedWork W2123481932 @default.
• W36408899 hasRelatedWork W2340506881 @default.
• W36408899 hasRelatedWork W236032 @default.
• W36408899 hasRelatedWork W2416899354 @default.
• W36408899 hasRelatedWork W2417744963 @default.
• W36408899 hasRelatedWork W25732316 @default.
• W36408899 hasRelatedWork W2734482964 @default.
• W36408899 hasRelatedWork W2784921327 @default.
• W36408899 hasRelatedWork W2949277485 @default.
• W36408899 hasRelatedWork W2951140919 @default.
• W36408899 hasRelatedWork W2963570008 @default.
• W36408899 hasRelatedWork W3157063218 @default.
• W36408899 hasRelatedWork W959799004 @default.
• W36408899 isParatext "false" @default.
• W36408899 isRetracted "false" @default.
• W36408899 magId "36408899" @default.
• W36408899 workType "book-chapter" @default.