Matches in SemOpenAlex for { <https://semopenalex.org/work/W193668954> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W193668954 endingPage "27" @default.
- W193668954 startingPage "13" @default.
- W193668954 abstract "In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between disjunctions/conjunctions in the specification and nondeterministic/universal transitions in the automaton for the specification is straightforward. A recent exciting research direction aims at adding a quality measure to the satisfaction of specifications of reactive systems. The corresponding automata-theoretic framework is based on weighted automata, which map input words to numerical values. In the weighted setting, nondeterminism has a minimum semantics - the weight that an automaton assigns to a word is the cost of the cheapest run on it. For universal branches, researchers have studied a (dual) maximum semantics. We argue that a summation semantics is of interest too, as it captures the intuition that one has to pay for the cost of all conjuncts.We introduce and study alternating weighted automata on finite words in both the max and sum semantics. We study the duality between the min and max semantics, closure under max and sum, the added power of universality and alternation, and arithmetic operations on automata. In particular, we show that universal weighted automata in the sum semantics can represent all polynomials." @default.
- W193668954 created "2016-06-24" @default.
- W193668954 creator A5021154671 @default.
- W193668954 creator A5077429082 @default.
- W193668954 date "2011-01-01" @default.
- W193668954 modified "2023-09-23" @default.
- W193668954 title "Max and Sum Semantics for Alternating Weighted Automata" @default.
- W193668954 cites W142385736 @default.
- W193668954 cites W1490980615 @default.
- W193668954 cites W1507116188 @default.
- W193668954 cites W15573929 @default.
- W193668954 cites W1560050980 @default.
- W193668954 cites W1969587526 @default.
- W193668954 cites W1984151763 @default.
- W193668954 cites W1988808695 @default.
- W193668954 cites W1990609140 @default.
- W193668954 cites W2018144685 @default.
- W193668954 cites W2046932483 @default.
- W193668954 cites W2070937106 @default.
- W193668954 cites W2114901588 @default.
- W193668954 cites W2170933628 @default.
- W193668954 cites W2296719505 @default.
- W193668954 cites W2802897770 @default.
- W193668954 cites W2912461213 @default.
- W193668954 doi "https://doi.org/10.1007/978-3-642-24372-1_2" @default.
- W193668954 hasPublicationYear "2011" @default.
- W193668954 type Work @default.
- W193668954 sameAs 193668954 @default.
- W193668954 citedByCount "6" @default.
- W193668954 countsByYear W1936689542013 @default.
- W193668954 countsByYear W1936689542014 @default.
- W193668954 countsByYear W1936689542016 @default.
- W193668954 countsByYear W1936689542021 @default.
- W193668954 crossrefType "book-chapter" @default.
- W193668954 hasAuthorship W193668954A5021154671 @default.
- W193668954 hasAuthorship W193668954A5077429082 @default.
- W193668954 hasBestOaLocation W1936689542 @default.
- W193668954 hasConcept C112505250 @default.
- W193668954 hasConcept C184337299 @default.
- W193668954 hasConcept C199360897 @default.
- W193668954 hasConcept C41008148 @default.
- W193668954 hasConcept C80444323 @default.
- W193668954 hasConceptScore W193668954C112505250 @default.
- W193668954 hasConceptScore W193668954C184337299 @default.
- W193668954 hasConceptScore W193668954C199360897 @default.
- W193668954 hasConceptScore W193668954C41008148 @default.
- W193668954 hasConceptScore W193668954C80444323 @default.
- W193668954 hasLocation W1936689541 @default.
- W193668954 hasLocation W1936689542 @default.
- W193668954 hasOpenAccess W193668954 @default.
- W193668954 hasPrimaryLocation W1936689541 @default.
- W193668954 hasRelatedWork W1483213041 @default.
- W193668954 hasRelatedWork W1490722843 @default.
- W193668954 hasRelatedWork W1563392290 @default.
- W193668954 hasRelatedWork W1587224678 @default.
- W193668954 hasRelatedWork W1778728081 @default.
- W193668954 hasRelatedWork W2099080307 @default.
- W193668954 hasRelatedWork W27605384 @default.
- W193668954 hasRelatedWork W2991618286 @default.
- W193668954 hasRelatedWork W1894736207 @default.
- W193668954 hasRelatedWork W2462343658 @default.
- W193668954 isParatext "false" @default.
- W193668954 isRetracted "false" @default.
- W193668954 magId "193668954" @default.
- W193668954 workType "book-chapter" @default.