Matches in SemOpenAlex for { <https://semopenalex.org/work/W1947371057> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1947371057 endingPage "261" @default.
- W1947371057 startingPage "231" @default.
- W1947371057 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, 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 multi-weighted MSO logic. In our main results, we show that this multi-weighted MSO logic and multi-weighted auto-mata 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.
- W1947371057 created "2016-06-24" @default.
- W1947371057 creator A5025721136 @default.
- W1947371057 creator A5026097476 @default.
- W1947371057 date "2015-10-27" @default.
- W1947371057 modified "2023-09-24" @default.
- W1947371057 title "Multi-weighted Automata and MSO Logic" @default.
- W1947371057 cites W1483079125 @default.
- W1947371057 cites W1485757985 @default.
- W1947371057 cites W1487595196 @default.
- W1947371057 cites W1506437980 @default.
- W1947371057 cites W1576756623 @default.
- W1947371057 cites W1578332044 @default.
- W1947371057 cites W1600043458 @default.
- W1947371057 cites W1643571618 @default.
- W1947371057 cites W1698854595 @default.
- W1947371057 cites W1823282488 @default.
- W1947371057 cites W1827788083 @default.
- W1947371057 cites W1852784691 @default.
- W1947371057 cites W1967389018 @default.
- W1947371057 cites W1969441965 @default.
- W1947371057 cites W1981797649 @default.
- W1947371057 cites W1983682288 @default.
- W1947371057 cites W1992948487 @default.
- W1947371057 cites W1995750667 @default.
- W1947371057 cites W2016928625 @default.
- W1947371057 cites W2052631269 @default.
- W1947371057 cites W2055275666 @default.
- W1947371057 cites W2069081759 @default.
- W1947371057 cites W2073788194 @default.
- W1947371057 cites W2130136014 @default.
- W1947371057 cites W4205178514 @default.
- W1947371057 cites W4238018565 @default.
- W1947371057 cites W49543784 @default.
- W1947371057 doi "https://doi.org/10.1007/s00224-015-9658-9" @default.
- W1947371057 hasPublicationYear "2015" @default.
- W1947371057 type Work @default.
- W1947371057 sameAs 1947371057 @default.
- W1947371057 citedByCount "8" @default.
- W1947371057 countsByYear W19473710572015 @default.
- W1947371057 countsByYear W19473710572016 @default.
- W1947371057 countsByYear W19473710572018 @default.
- W1947371057 countsByYear W19473710572019 @default.
- W1947371057 countsByYear W19473710572020 @default.
- W1947371057 countsByYear W19473710572021 @default.
- W1947371057 countsByYear W19473710572022 @default.
- W1947371057 crossrefType "journal-article" @default.
- W1947371057 hasAuthorship W1947371057A5025721136 @default.
- W1947371057 hasAuthorship W1947371057A5026097476 @default.
- W1947371057 hasBestOaLocation W19473710572 @default.
- W1947371057 hasConcept C112505250 @default.
- W1947371057 hasConcept C33923547 @default.
- W1947371057 hasConcept C41008148 @default.
- W1947371057 hasConcept C80444323 @default.
- W1947371057 hasConcept C94375191 @default.
- W1947371057 hasConceptScore W1947371057C112505250 @default.
- W1947371057 hasConceptScore W1947371057C33923547 @default.
- W1947371057 hasConceptScore W1947371057C41008148 @default.
- W1947371057 hasConceptScore W1947371057C80444323 @default.
- W1947371057 hasConceptScore W1947371057C94375191 @default.
- W1947371057 hasIssue "2" @default.
- W1947371057 hasLocation W19473710571 @default.
- W1947371057 hasLocation W19473710572 @default.
- W1947371057 hasOpenAccess W1947371057 @default.
- W1947371057 hasPrimaryLocation W19473710571 @default.
- W1947371057 hasRelatedWork W153904579 @default.
- W1947371057 hasRelatedWork W1584197856 @default.
- W1947371057 hasRelatedWork W2135173043 @default.
- W1947371057 hasRelatedWork W2330733397 @default.
- W1947371057 hasRelatedWork W2335699373 @default.
- W1947371057 hasRelatedWork W2368796975 @default.
- W1947371057 hasRelatedWork W241866648 @default.
- W1947371057 hasRelatedWork W2963339245 @default.
- W1947371057 hasRelatedWork W2602338684 @default.
- W1947371057 hasRelatedWork W2751931981 @default.
- W1947371057 hasVolume "59" @default.
- W1947371057 isParatext "false" @default.
- W1947371057 isRetracted "false" @default.
- W1947371057 magId "1947371057" @default.
- W1947371057 workType "article" @default.