Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100710152> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3100710152 endingPage "181" @default.
- W3100710152 startingPage "166" @default.
- W3100710152 abstract "Many systems are naturally modeled as Markov Decision Processes (MDPs), combining probabilities and strategic actions. Given a model of a system as an MDP and some logical specification of system behavior, the goal of synthesis is to find a policy that maximizes the probability of achieving this behavior. A popular choice for defining behaviors is Linear Temporal Logic (LTL). Policy synthesis on MDPs for properties specified in LTL has been well studied. LTL, however, is defined over infinite traces, while many properties of interest are inherently finite. Linear Temporal Logic over finite traces (LTLf) has been used to express such properties, but no tools exist to solve policy synthesis for MDP behaviors given finite-trace properties. We present two algorithms for solving this synthesis problem: the first via reduction of LTLf to LTL and the second using native tools for LTLf. We compare the scalability of these two approaches for synthesis and show that the native approach offers better scalability compared to existing automaton generation tools for LTL." @default.
- W3100710152 created "2020-11-23" @default.
- W3100710152 creator A5000059818 @default.
- W3100710152 creator A5062808161 @default.
- W3100710152 creator A5067205988 @default.
- W3100710152 creator A5069564559 @default.
- W3100710152 date "2020-09-20" @default.
- W3100710152 modified "2023-10-18" @default.
- W3100710152 title "LTLf Synthesis on Probabilistic Systems" @default.
- W3100710152 cites W1489725951 @default.
- W3100710152 cites W1507116188 @default.
- W3100710152 cites W1512310098 @default.
- W3100710152 cites W1578881602 @default.
- W3100710152 cites W1972203711 @default.
- W3100710152 cites W2133180954 @default.
- W3100710152 cites W2165161585 @default.
- W3100710152 cites W2518500232 @default.
- W3100710152 cites W2521432080 @default.
- W3100710152 cites W2775497185 @default.
- W3100710152 cites W2906634895 @default.
- W3100710152 cites W2956582956 @default.
- W3100710152 cites W2965117559 @default.
- W3100710152 cites W2967324402 @default.
- W3100710152 cites W986424706 @default.
- W3100710152 doi "https://doi.org/10.4204/eptcs.326.11" @default.
- W3100710152 hasPublicationYear "2020" @default.
- W3100710152 type Work @default.
- W3100710152 sameAs 3100710152 @default.
- W3100710152 citedByCount "11" @default.
- W3100710152 countsByYear W31007101522021 @default.
- W3100710152 countsByYear W31007101522022 @default.
- W3100710152 countsByYear W31007101522023 @default.
- W3100710152 crossrefType "journal-article" @default.
- W3100710152 hasAuthorship W3100710152A5000059818 @default.
- W3100710152 hasAuthorship W3100710152A5062808161 @default.
- W3100710152 hasAuthorship W3100710152A5067205988 @default.
- W3100710152 hasAuthorship W3100710152A5069564559 @default.
- W3100710152 hasBestOaLocation W31007101521 @default.
- W3100710152 hasConcept C105795698 @default.
- W3100710152 hasConcept C106189395 @default.
- W3100710152 hasConcept C111335779 @default.
- W3100710152 hasConcept C112505250 @default.
- W3100710152 hasConcept C11413529 @default.
- W3100710152 hasConcept C138885662 @default.
- W3100710152 hasConcept C154945302 @default.
- W3100710152 hasConcept C159886148 @default.
- W3100710152 hasConcept C25016198 @default.
- W3100710152 hasConcept C2524010 @default.
- W3100710152 hasConcept C28077239 @default.
- W3100710152 hasConcept C33923547 @default.
- W3100710152 hasConcept C41008148 @default.
- W3100710152 hasConcept C41895202 @default.
- W3100710152 hasConcept C4777664 @default.
- W3100710152 hasConcept C48044578 @default.
- W3100710152 hasConcept C49937458 @default.
- W3100710152 hasConcept C75291252 @default.
- W3100710152 hasConcept C77088390 @default.
- W3100710152 hasConcept C80444323 @default.
- W3100710152 hasConceptScore W3100710152C105795698 @default.
- W3100710152 hasConceptScore W3100710152C106189395 @default.
- W3100710152 hasConceptScore W3100710152C111335779 @default.
- W3100710152 hasConceptScore W3100710152C112505250 @default.
- W3100710152 hasConceptScore W3100710152C11413529 @default.
- W3100710152 hasConceptScore W3100710152C138885662 @default.
- W3100710152 hasConceptScore W3100710152C154945302 @default.
- W3100710152 hasConceptScore W3100710152C159886148 @default.
- W3100710152 hasConceptScore W3100710152C25016198 @default.
- W3100710152 hasConceptScore W3100710152C2524010 @default.
- W3100710152 hasConceptScore W3100710152C28077239 @default.
- W3100710152 hasConceptScore W3100710152C33923547 @default.
- W3100710152 hasConceptScore W3100710152C41008148 @default.
- W3100710152 hasConceptScore W3100710152C41895202 @default.
- W3100710152 hasConceptScore W3100710152C4777664 @default.
- W3100710152 hasConceptScore W3100710152C48044578 @default.
- W3100710152 hasConceptScore W3100710152C49937458 @default.
- W3100710152 hasConceptScore W3100710152C75291252 @default.
- W3100710152 hasConceptScore W3100710152C77088390 @default.
- W3100710152 hasConceptScore W3100710152C80444323 @default.
- W3100710152 hasLocation W31007101521 @default.
- W3100710152 hasLocation W31007101522 @default.
- W3100710152 hasOpenAccess W3100710152 @default.
- W3100710152 hasPrimaryLocation W31007101521 @default.
- W3100710152 hasRelatedWork W1574256899 @default.
- W3100710152 hasRelatedWork W1656025398 @default.
- W3100710152 hasRelatedWork W2110468917 @default.
- W3100710152 hasRelatedWork W2256753787 @default.
- W3100710152 hasRelatedWork W2406438973 @default.
- W3100710152 hasRelatedWork W2782719117 @default.
- W3100710152 hasRelatedWork W2883923349 @default.
- W3100710152 hasRelatedWork W3100710152 @default.
- W3100710152 hasRelatedWork W3205048609 @default.
- W3100710152 hasRelatedWork W4292559442 @default.
- W3100710152 hasVolume "326" @default.
- W3100710152 isParatext "false" @default.
- W3100710152 isRetracted "false" @default.
- W3100710152 magId "3100710152" @default.
- W3100710152 workType "article" @default.