Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100653010> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3100653010 endingPage "430" @default.
- W3100653010 startingPage "418" @default.
- W3100653010 abstract "Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. The value of a run can be computed, for example, as the maximum, limit average, or discounted sum of transition weights. In multi-weighted automata, transitions carry several weights and can model, for example, the ratio between rewards and costs, or the efficiency of use of a primary resource under some upper bound constraint on a secondary resource. Here, we introduce a general model for multi-weighted automata as well as a multiweighted MSO logic. In our main results, we show that this multi-weighted MSO logic and multi-weighted automata are expressively equivalent both for finite and infinite words. The translation process is effective, leading to decidability results for our multi-weighted MSO logic." @default.
- W3100653010 created "2020-11-23" @default.
- W3100653010 creator A5025721136 @default.
- W3100653010 creator A5026097476 @default.
- W3100653010 date "2013-01-01" @default.
- W3100653010 modified "2023-09-23" @default.
- W3100653010 title "Multi-weighted Automata and MSO Logic" @default.
- W3100653010 cites W1483079125 @default.
- W3100653010 cites W1491991866 @default.
- W3100653010 cites W1506437980 @default.
- W3100653010 cites W1578332044 @default.
- W3100653010 cites W1643571618 @default.
- W3100653010 cites W1698854595 @default.
- W3100653010 cites W1823282488 @default.
- W3100653010 cites W1852784691 @default.
- W3100653010 cites W1967389018 @default.
- W3100653010 cites W1981797649 @default.
- W3100653010 cites W1983682288 @default.
- W3100653010 cites W1992948487 @default.
- W3100653010 cites W2052631269 @default.
- W3100653010 cites W2073788194 @default.
- W3100653010 cites W2130136014 @default.
- W3100653010 cites W2140595448 @default.
- W3100653010 cites W2170924664 @default.
- W3100653010 cites W2912461213 @default.
- W3100653010 cites W4205178514 @default.
- W3100653010 cites W4238018565 @default.
- W3100653010 doi "https://doi.org/10.1007/978-3-642-38536-0_36" @default.
- W3100653010 hasPublicationYear "2013" @default.
- W3100653010 type Work @default.
- W3100653010 sameAs 3100653010 @default.
- W3100653010 citedByCount "5" @default.
- W3100653010 countsByYear W31006530102014 @default.
- W3100653010 countsByYear W31006530102015 @default.
- W3100653010 countsByYear W31006530102021 @default.
- W3100653010 crossrefType "book-chapter" @default.
- W3100653010 hasAuthorship W3100653010A5025721136 @default.
- W3100653010 hasAuthorship W3100653010A5026097476 @default.
- W3100653010 hasBestOaLocation W31006530102 @default.
- W3100653010 hasConcept C112505250 @default.
- W3100653010 hasConcept C11413529 @default.
- W3100653010 hasConcept C118615104 @default.
- W3100653010 hasConcept C134306372 @default.
- W3100653010 hasConcept C151201525 @default.
- W3100653010 hasConcept C153269930 @default.
- W3100653010 hasConcept C167822520 @default.
- W3100653010 hasConcept C33923547 @default.
- W3100653010 hasConcept C41008148 @default.
- W3100653010 hasConcept C80444323 @default.
- W3100653010 hasConceptScore W3100653010C112505250 @default.
- W3100653010 hasConceptScore W3100653010C11413529 @default.
- W3100653010 hasConceptScore W3100653010C118615104 @default.
- W3100653010 hasConceptScore W3100653010C134306372 @default.
- W3100653010 hasConceptScore W3100653010C151201525 @default.
- W3100653010 hasConceptScore W3100653010C153269930 @default.
- W3100653010 hasConceptScore W3100653010C167822520 @default.
- W3100653010 hasConceptScore W3100653010C33923547 @default.
- W3100653010 hasConceptScore W3100653010C41008148 @default.
- W3100653010 hasConceptScore W3100653010C80444323 @default.
- W3100653010 hasLocation W31006530101 @default.
- W3100653010 hasLocation W31006530102 @default.
- W3100653010 hasOpenAccess W3100653010 @default.
- W3100653010 hasPrimaryLocation W31006530101 @default.
- W3100653010 hasRelatedWork W100355569 @default.
- W3100653010 hasRelatedWork W1546490938 @default.
- W3100653010 hasRelatedWork W1587779614 @default.
- W3100653010 hasRelatedWork W2107012191 @default.
- W3100653010 hasRelatedWork W2800776540 @default.
- W3100653010 hasRelatedWork W2920575637 @default.
- W3100653010 hasRelatedWork W2964131994 @default.
- W3100653010 hasRelatedWork W4298034970 @default.
- W3100653010 hasRelatedWork W77196179 @default.
- W3100653010 hasRelatedWork W1886131381 @default.
- W3100653010 isParatext "false" @default.
- W3100653010 isRetracted "false" @default.
- W3100653010 magId "3100653010" @default.
- W3100653010 workType "book-chapter" @default.