FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2297612891> ?p ?o ?g. }

• W2297612891 abstract "Game theory proved to be very useful in the field of verification of open reactive systems. This is due to the wide variety of games' model that differ in the way players interact and the amount of information players have. In this thesis, we study the value problem for games where players have full knowledge on their current configuration of the game, partial knowledge, and no knowledge. In the case where players have perfect information, we study the value problem for objectives that consist in combination of qualitative and quantitative conditions. In the case of one player stochastic games, we show that the values are computable in polynomial time and show that the optimal strategies exist and can be implemented with finite memory. We also showed that our construction for parity and positive-average Markov decision processes extends to the case of two-player stochastic games. In the case where the players have partial information, we study the value problem for reachability objectives. We show that computing the set of states with value 1 is an undecidable problem and introduce a decidable subclass for the value 1 problem. This sub class is PSPACE-complete in the case of blind controllers and EXPTIME is the setting of games with partial observations." @default.
• W2297612891 created "2016-06-24" @default.
• W2297612891 creator A5018227899 @default.
• W2297612891 date "2012-12-11" @default.
• W2297612891 modified "2023-10-16" @default.
• W2297612891 title "The value problem in stochastic games" @default.
• W2297612891 cites W124331494 @default.
• W2297612891 cites W1480317510 @default.
• W2297612891 cites W1480889453 @default.
• W2297612891 cites W1483897237 @default.
• W2297612891 cites W1494426349 @default.
• W2297612891 cites W1516256348 @default.
• W2297612891 cites W1521551618 @default.
• W2297612891 cites W1528015591 @default.
• W2297612891 cites W1535517661 @default.
• W2297612891 cites W1537561239 @default.
• W2297612891 cites W1540637571 @default.
• W2297612891 cites W1562671620 @default.
• W2297612891 cites W1574229394 @default.
• W2297612891 cites W1577525693 @default.
• W2297612891 cites W1629836001 @default.
• W2297612891 cites W1667094241 @default.
• W2297612891 cites W183793023 @default.
• W2297612891 cites W1960351623 @default.
• W2297612891 cites W1966347268 @default.
• W2297612891 cites W1967459525 @default.
• W2297612891 cites W1969912861 @default.
• W2297612891 cites W1971416129 @default.
• W2297612891 cites W1972203711 @default.
• W2297612891 cites W1977070092 @default.
• W2297612891 cites W1982129592 @default.
• W2297612891 cites W1982330578 @default.
• W2297612891 cites W1982922419 @default.
• W2297612891 cites W1984151763 @default.
• W2297612891 cites W1988857989 @default.
• W2297612891 cites W1991376038 @default.
• W2297612891 cites W1997908831 @default.
• W2297612891 cites W2017194981 @default.
• W2297612891 cites W2027671360 @default.
• W2297612891 cites W2038680194 @default.
• W2297612891 cites W2060075002 @default.
• W2297612891 cites W2060375000 @default.
• W2297612891 cites W2067050450 @default.
• W2297612891 cites W2074209229 @default.
• W2297612891 cites W2076284895 @default.
• W2297612891 cites W2078268196 @default.
• W2297612891 cites W2089649903 @default.
• W2297612891 cites W2096272173 @default.
• W2297612891 cites W2096608485 @default.
• W2297612891 cites W2105702545 @default.
• W2297612891 cites W2107081125 @default.
• W2297612891 cites W2110667918 @default.
• W2297612891 cites W2119567691 @default.
• W2297612891 cites W2120360673 @default.
• W2297612891 cites W2126438564 @default.
• W2297612891 cites W2128480458 @default.
• W2297612891 cites W2133749858 @default.
• W2297612891 cites W2135432862 @default.
• W2297612891 cites W2144846366 @default.
• W2297612891 cites W2155038659 @default.
• W2297612891 cites W2155340214 @default.
• W2297612891 cites W2162583406 @default.
• W2297612891 cites W2166279524 @default.
• W2297612891 cites W2171324542 @default.
• W2297612891 cites W2185277641 @default.
• W2297612891 cites W2486404825 @default.
• W2297612891 cites W2575731723 @default.
• W2297612891 cites W2625102836 @default.
• W2297612891 cites W2792090629 @default.
• W2297612891 cites W2963555463 @default.
• W2297612891 cites W2463897613 @default.
• W2297612891 hasPublicationYear "2012" @default.
• W2297612891 type Work @default.
• W2297612891 sameAs 2297612891 @default.
• W2297612891 citedByCount "1" @default.
• W2297612891 countsByYear W22976128912019 @default.
• W2297612891 crossrefType "dissertation" @default.
• W2297612891 hasAuthorship W2297612891A5018227899 @default.
• W2297612891 hasConcept C102234262 @default.
• W2297612891 hasConcept C105795698 @default.
• W2297612891 hasConcept C106189395 @default.
• W2297612891 hasConcept C113336015 @default.
• W2297612891 hasConcept C11413529 @default.
• W2297612891 hasConcept C115988155 @default.
• W2297612891 hasConcept C136643341 @default.
• W2297612891 hasConcept C144237770 @default.
• W2297612891 hasConcept C153269930 @default.
• W2297612891 hasConcept C154945302 @default.
• W2297612891 hasConcept C159886148 @default.
• W2297612891 hasConcept C170828538 @default.
• W2297612891 hasConcept C177142836 @default.
• W2297612891 hasConcept C179799912 @default.
• W2297612891 hasConcept C192034797 @default.
• W2297612891 hasConcept C197685441 @default.
• W2297612891 hasConcept C33923547 @default.
• W2297612891 hasConcept C41008148 @default.
• W2297612891 hasConcept C47187476 @default.
• W2297612891 hasConcept C56049555 @default.
• W2297612891 hasConcept C56694532 @default.
• W2297612891 hasConcept C73795354 @default.

• next