Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495293721> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1495293721 endingPage "152" @default.
- W1495293721 startingPage "135" @default.
- W1495293721 abstract "We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomplete information for enforcing a property expressible in the language of Alternating-time Temporal Logic ATL. The main application of the algorithm is automated program synthesis for systems that can be modeled as multi-agent systems with incomplete information (e.g., decentralized distributed systems)." @default.
- W1495293721 created "2016-06-24" @default.
- W1495293721 creator A5028600813 @default.
- W1495293721 creator A5033575934 @default.
- W1495293721 creator A5075418855 @default.
- W1495293721 date "2010-01-01" @default.
- W1495293721 modified "2023-09-29" @default.
- W1495293721 title "Finding Uniform Strategies for Multi-agent Systems" @default.
- W1495293721 cites W1966063923 @default.
- W1495293721 cites W1980150203 @default.
- W1495293721 cites W1999134680 @default.
- W1495293721 cites W2013568176 @default.
- W1495293721 cites W2048905609 @default.
- W1495293721 cites W2116007667 @default.
- W1495293721 cites W2139978539 @default.
- W1495293721 cites W2160429376 @default.
- W1495293721 cites W2610756526 @default.
- W1495293721 doi "https://doi.org/10.1007/978-3-642-14977-1_12" @default.
- W1495293721 hasPublicationYear "2010" @default.
- W1495293721 type Work @default.
- W1495293721 sameAs 1495293721 @default.
- W1495293721 citedByCount "9" @default.
- W1495293721 countsByYear W14952937212013 @default.
- W1495293721 countsByYear W14952937212014 @default.
- W1495293721 countsByYear W14952937212017 @default.
- W1495293721 countsByYear W14952937212018 @default.
- W1495293721 countsByYear W14952937212020 @default.
- W1495293721 countsByYear W14952937212023 @default.
- W1495293721 crossrefType "book-chapter" @default.
- W1495293721 hasAuthorship W1495293721A5028600813 @default.
- W1495293721 hasAuthorship W1495293721A5033575934 @default.
- W1495293721 hasAuthorship W1495293721A5075418855 @default.
- W1495293721 hasConcept C111472728 @default.
- W1495293721 hasConcept C113336015 @default.
- W1495293721 hasConcept C11413529 @default.
- W1495293721 hasConcept C120314980 @default.
- W1495293721 hasConcept C138885662 @default.
- W1495293721 hasConcept C144237770 @default.
- W1495293721 hasConcept C154945302 @default.
- W1495293721 hasConcept C189950617 @default.
- W1495293721 hasConcept C25016198 @default.
- W1495293721 hasConcept C33923547 @default.
- W1495293721 hasConcept C41008148 @default.
- W1495293721 hasConcept C41550386 @default.
- W1495293721 hasConcept C80444323 @default.
- W1495293721 hasConceptScore W1495293721C111472728 @default.
- W1495293721 hasConceptScore W1495293721C113336015 @default.
- W1495293721 hasConceptScore W1495293721C11413529 @default.
- W1495293721 hasConceptScore W1495293721C120314980 @default.
- W1495293721 hasConceptScore W1495293721C138885662 @default.
- W1495293721 hasConceptScore W1495293721C144237770 @default.
- W1495293721 hasConceptScore W1495293721C154945302 @default.
- W1495293721 hasConceptScore W1495293721C189950617 @default.
- W1495293721 hasConceptScore W1495293721C25016198 @default.
- W1495293721 hasConceptScore W1495293721C33923547 @default.
- W1495293721 hasConceptScore W1495293721C41008148 @default.
- W1495293721 hasConceptScore W1495293721C41550386 @default.
- W1495293721 hasConceptScore W1495293721C80444323 @default.
- W1495293721 hasLocation W14952937211 @default.
- W1495293721 hasOpenAccess W1495293721 @default.
- W1495293721 hasPrimaryLocation W14952937211 @default.
- W1495293721 hasRelatedWork W1485627940 @default.
- W1495293721 hasRelatedWork W1596201972 @default.
- W1495293721 hasRelatedWork W1598943142 @default.
- W1495293721 hasRelatedWork W1986253068 @default.
- W1495293721 hasRelatedWork W2152433827 @default.
- W1495293721 hasRelatedWork W2160425906 @default.
- W1495293721 hasRelatedWork W2385146268 @default.
- W1495293721 hasRelatedWork W3039766448 @default.
- W1495293721 hasRelatedWork W3081349526 @default.
- W1495293721 hasRelatedWork W4313054100 @default.
- W1495293721 isParatext "false" @default.
- W1495293721 isRetracted "false" @default.
- W1495293721 magId "1495293721" @default.
- W1495293721 workType "book-chapter" @default.