Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949893416> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2949893416 abstract "We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool uses the existing interface and simulator of PRISM. Our tool extends PRISM by adding novel algorithms for multiple mean-payoff objectives, and also provides features such as (i)~generating strategies and exploring them for simulation, and checking them with respect to other properties; and (ii)~generating an approximate Pareto curve for two mean-payoff objectives. In addition, we present a new practical algorithm for the analysis of MDPs with multiple mean-payoff objectives under memoryless strategies." @default.
- W2949893416 created "2019-06-27" @default.
- W2949893416 creator A5019575165 @default.
- W2949893416 creator A5052607806 @default.
- W2949893416 creator A5082160514 @default.
- W2949893416 creator A5087974593 @default.
- W2949893416 date "2015-01-13" @default.
- W2949893416 modified "2023-10-17" @default.
- W2949893416 title "MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives" @default.
- W2949893416 cites W13173889 @default.
- W2949893416 cites W1498432697 @default.
- W2949893416 cites W16586245 @default.
- W2949893416 cites W1765717155 @default.
- W2949893416 cites W1963547452 @default.
- W2949893416 cites W2028145673 @default.
- W2949893416 cites W2035003152 @default.
- W2949893416 cites W2055454967 @default.
- W2949893416 cites W2060428316 @default.
- W2949893416 cites W2106272197 @default.
- W2949893416 cites W2334782222 @default.
- W2949893416 cites W2405058621 @default.
- W2949893416 hasPublicationYear "2015" @default.
- W2949893416 type Work @default.
- W2949893416 sameAs 2949893416 @default.
- W2949893416 citedByCount "1" @default.
- W2949893416 countsByYear W29498934162021 @default.
- W2949893416 crossrefType "posted-content" @default.
- W2949893416 hasAuthorship W2949893416A5019575165 @default.
- W2949893416 hasAuthorship W2949893416A5052607806 @default.
- W2949893416 hasAuthorship W2949893416A5082160514 @default.
- W2949893416 hasAuthorship W2949893416A5087974593 @default.
- W2949893416 hasConcept C105795698 @default.
- W2949893416 hasConcept C106189395 @default.
- W2949893416 hasConcept C120665830 @default.
- W2949893416 hasConcept C121332964 @default.
- W2949893416 hasConcept C126255220 @default.
- W2949893416 hasConcept C137635306 @default.
- W2949893416 hasConcept C144237770 @default.
- W2949893416 hasConcept C159886148 @default.
- W2949893416 hasConcept C203479927 @default.
- W2949893416 hasConcept C22171661 @default.
- W2949893416 hasConcept C2986314615 @default.
- W2949893416 hasConcept C33923547 @default.
- W2949893416 hasConcept C41008148 @default.
- W2949893416 hasConcept C6557445 @default.
- W2949893416 hasConcept C67666897 @default.
- W2949893416 hasConcept C68781425 @default.
- W2949893416 hasConcept C86803240 @default.
- W2949893416 hasConceptScore W2949893416C105795698 @default.
- W2949893416 hasConceptScore W2949893416C106189395 @default.
- W2949893416 hasConceptScore W2949893416C120665830 @default.
- W2949893416 hasConceptScore W2949893416C121332964 @default.
- W2949893416 hasConceptScore W2949893416C126255220 @default.
- W2949893416 hasConceptScore W2949893416C137635306 @default.
- W2949893416 hasConceptScore W2949893416C144237770 @default.
- W2949893416 hasConceptScore W2949893416C159886148 @default.
- W2949893416 hasConceptScore W2949893416C203479927 @default.
- W2949893416 hasConceptScore W2949893416C22171661 @default.
- W2949893416 hasConceptScore W2949893416C2986314615 @default.
- W2949893416 hasConceptScore W2949893416C33923547 @default.
- W2949893416 hasConceptScore W2949893416C41008148 @default.
- W2949893416 hasConceptScore W2949893416C6557445 @default.
- W2949893416 hasConceptScore W2949893416C67666897 @default.
- W2949893416 hasConceptScore W2949893416C68781425 @default.
- W2949893416 hasConceptScore W2949893416C86803240 @default.
- W2949893416 hasLocation W29498934161 @default.
- W2949893416 hasOpenAccess W2949893416 @default.
- W2949893416 hasPrimaryLocation W29498934161 @default.
- W2949893416 hasRelatedWork W1525468010 @default.
- W2949893416 hasRelatedWork W1530444831 @default.
- W2949893416 hasRelatedWork W1548889916 @default.
- W2949893416 hasRelatedWork W1630404029 @default.
- W2949893416 hasRelatedWork W2040076550 @default.
- W2949893416 hasRelatedWork W2127120781 @default.
- W2949893416 hasRelatedWork W2200122131 @default.
- W2949893416 hasRelatedWork W2264110120 @default.
- W2949893416 hasRelatedWork W2305603072 @default.
- W2949893416 hasRelatedWork W2367195112 @default.
- W2949893416 hasRelatedWork W2782965505 @default.
- W2949893416 hasRelatedWork W2808464586 @default.
- W2949893416 hasRelatedWork W2898656812 @default.
- W2949893416 hasRelatedWork W2950493481 @default.
- W2949893416 hasRelatedWork W2963240753 @default.
- W2949893416 hasRelatedWork W2981447100 @default.
- W2949893416 hasRelatedWork W3008651843 @default.
- W2949893416 hasRelatedWork W3016295497 @default.
- W2949893416 hasRelatedWork W3174361374 @default.
- W2949893416 hasRelatedWork W800657014 @default.
- W2949893416 isParatext "false" @default.
- W2949893416 isRetracted "false" @default.
- W2949893416 magId "2949893416" @default.
- W2949893416 workType "article" @default.