Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385005551> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4385005551 abstract "In multi-agent system design, a crucial aspect is to ensure robustness, meaning that for a coalition of agents A, small violations of adversarial assumptions only lead to small violations of A's goals. In this paper we introduce a logical framework for robust strategic reasoning about multi-agent systems. Specifically, inspired by recent works on robust temporal logics, we introduce and study rATL and rATL*, logics that extend the well-known Alternating-time Temporal Logic ATL and ATL* by means of an opportune multi-valued semantics for the strategy quantifiers and temporal operators. We study the model-checking and satisfiability problems for rATL and rATL* and show that dealing with robustness comes at no additional computational cost. Indeed, we show that these problems are PTime-complete and ExpTime-complete for rATL, respectively, while both are 2ExpTime-complete for rATL*." @default.
- W4385005551 created "2023-07-22" @default.
- W4385005551 creator A5055415505 @default.
- W4385005551 creator A5064596121 @default.
- W4385005551 creator A5064701353 @default.
- W4385005551 date "2023-07-20" @default.
- W4385005551 modified "2023-09-25" @default.
- W4385005551 title "Robust Alternating-Time Temporal Logic" @default.
- W4385005551 doi "https://doi.org/10.48550/arxiv.2307.10885" @default.
- W4385005551 hasPublicationYear "2023" @default.
- W4385005551 type Work @default.
- W4385005551 citedByCount "0" @default.
- W4385005551 crossrefType "posted-content" @default.
- W4385005551 hasAuthorship W4385005551A5055415505 @default.
- W4385005551 hasAuthorship W4385005551A5064596121 @default.
- W4385005551 hasAuthorship W4385005551A5064701353 @default.
- W4385005551 hasBestOaLocation W43850055511 @default.
- W4385005551 hasConcept C104317684 @default.
- W4385005551 hasConcept C11413529 @default.
- W4385005551 hasConcept C11648818 @default.
- W4385005551 hasConcept C134026603 @default.
- W4385005551 hasConcept C154945302 @default.
- W4385005551 hasConcept C162670838 @default.
- W4385005551 hasConcept C168773769 @default.
- W4385005551 hasConcept C185592680 @default.
- W4385005551 hasConcept C25016198 @default.
- W4385005551 hasConcept C311688 @default.
- W4385005551 hasConcept C37736160 @default.
- W4385005551 hasConcept C41008148 @default.
- W4385005551 hasConcept C42011625 @default.
- W4385005551 hasConcept C4777664 @default.
- W4385005551 hasConcept C5263885 @default.
- W4385005551 hasConcept C55493867 @default.
- W4385005551 hasConcept C58166 @default.
- W4385005551 hasConcept C63479239 @default.
- W4385005551 hasConcept C6943359 @default.
- W4385005551 hasConcept C80444323 @default.
- W4385005551 hasConcept C86602344 @default.
- W4385005551 hasConceptScore W4385005551C104317684 @default.
- W4385005551 hasConceptScore W4385005551C11413529 @default.
- W4385005551 hasConceptScore W4385005551C11648818 @default.
- W4385005551 hasConceptScore W4385005551C134026603 @default.
- W4385005551 hasConceptScore W4385005551C154945302 @default.
- W4385005551 hasConceptScore W4385005551C162670838 @default.
- W4385005551 hasConceptScore W4385005551C168773769 @default.
- W4385005551 hasConceptScore W4385005551C185592680 @default.
- W4385005551 hasConceptScore W4385005551C25016198 @default.
- W4385005551 hasConceptScore W4385005551C311688 @default.
- W4385005551 hasConceptScore W4385005551C37736160 @default.
- W4385005551 hasConceptScore W4385005551C41008148 @default.
- W4385005551 hasConceptScore W4385005551C42011625 @default.
- W4385005551 hasConceptScore W4385005551C4777664 @default.
- W4385005551 hasConceptScore W4385005551C5263885 @default.
- W4385005551 hasConceptScore W4385005551C55493867 @default.
- W4385005551 hasConceptScore W4385005551C58166 @default.
- W4385005551 hasConceptScore W4385005551C63479239 @default.
- W4385005551 hasConceptScore W4385005551C6943359 @default.
- W4385005551 hasConceptScore W4385005551C80444323 @default.
- W4385005551 hasConceptScore W4385005551C86602344 @default.
- W4385005551 hasLocation W43850055511 @default.
- W4385005551 hasOpenAccess W4385005551 @default.
- W4385005551 hasPrimaryLocation W43850055511 @default.
- W4385005551 hasRelatedWork W1543261728 @default.
- W4385005551 hasRelatedWork W1546948343 @default.
- W4385005551 hasRelatedWork W2013878945 @default.
- W4385005551 hasRelatedWork W2028860036 @default.
- W4385005551 hasRelatedWork W2051068608 @default.
- W4385005551 hasRelatedWork W2180648729 @default.
- W4385005551 hasRelatedWork W2396641696 @default.
- W4385005551 hasRelatedWork W2404089326 @default.
- W4385005551 hasRelatedWork W2518211214 @default.
- W4385005551 hasRelatedWork W59129029 @default.
- W4385005551 isParatext "false" @default.
- W4385005551 isRetracted "false" @default.
- W4385005551 workType "article" @default.