Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300807721> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4300807721 abstract "We study the problem of control synthesis for multi-agent systems, to achieve complex, high-level, long-term goals that are assigned to each agent individually. As the agents might not be capable of satisfying their respective goals by themselves, requests for other agents' collaborations are a part of the task descriptions. Particularly, we consider that the task specification takes a form of a linear temporal logic formula, which may contain requirements and constraints on the other agent's behavior. A traditional automata-based approach to multi-agent strategy synthesis from such specifications builds on centralized planning for the whole team and thus suffers from extreme computational demands. In this work, we aim at reducing the computational complexity by decomposing the strategy synthesis problem into short horizon planning problems that are solved iteratively, upon the run of the agents. We discuss the correctness of the solution and find assumptions, under which the proposed iterative algorithm leads to provable eventual satisfaction of the desired specifications." @default.
- W4300807721 created "2022-10-04" @default.
- W4300807721 creator A5042698317 @default.
- W4300807721 creator A5055348953 @default.
- W4300807721 date "2014-03-17" @default.
- W4300807721 modified "2023-10-03" @default.
- W4300807721 title "A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications" @default.
- W4300807721 doi "https://doi.org/10.48550/arxiv.1403.4174" @default.
- W4300807721 hasPublicationYear "2014" @default.
- W4300807721 type Work @default.
- W4300807721 citedByCount "0" @default.
- W4300807721 crossrefType "posted-content" @default.
- W4300807721 hasAuthorship W4300807721A5042698317 @default.
- W4300807721 hasAuthorship W4300807721A5055348953 @default.
- W4300807721 hasBestOaLocation W43008077211 @default.
- W4300807721 hasConcept C112505250 @default.
- W4300807721 hasConcept C11413529 @default.
- W4300807721 hasConcept C126255220 @default.
- W4300807721 hasConcept C127413603 @default.
- W4300807721 hasConcept C154945302 @default.
- W4300807721 hasConcept C201995342 @default.
- W4300807721 hasConcept C25016198 @default.
- W4300807721 hasConcept C2780451532 @default.
- W4300807721 hasConcept C28761237 @default.
- W4300807721 hasConcept C33923547 @default.
- W4300807721 hasConcept C41008148 @default.
- W4300807721 hasConcept C41550386 @default.
- W4300807721 hasConcept C4777664 @default.
- W4300807721 hasConcept C55439883 @default.
- W4300807721 hasConcept C80444323 @default.
- W4300807721 hasConceptScore W4300807721C112505250 @default.
- W4300807721 hasConceptScore W4300807721C11413529 @default.
- W4300807721 hasConceptScore W4300807721C126255220 @default.
- W4300807721 hasConceptScore W4300807721C127413603 @default.
- W4300807721 hasConceptScore W4300807721C154945302 @default.
- W4300807721 hasConceptScore W4300807721C201995342 @default.
- W4300807721 hasConceptScore W4300807721C25016198 @default.
- W4300807721 hasConceptScore W4300807721C2780451532 @default.
- W4300807721 hasConceptScore W4300807721C28761237 @default.
- W4300807721 hasConceptScore W4300807721C33923547 @default.
- W4300807721 hasConceptScore W4300807721C41008148 @default.
- W4300807721 hasConceptScore W4300807721C41550386 @default.
- W4300807721 hasConceptScore W4300807721C4777664 @default.
- W4300807721 hasConceptScore W4300807721C55439883 @default.
- W4300807721 hasConceptScore W4300807721C80444323 @default.
- W4300807721 hasLocation W43008077211 @default.
- W4300807721 hasOpenAccess W4300807721 @default.
- W4300807721 hasPrimaryLocation W43008077211 @default.
- W4300807721 hasRelatedWork W140214610 @default.
- W4300807721 hasRelatedWork W1527462432 @default.
- W4300807721 hasRelatedWork W1546948343 @default.
- W4300807721 hasRelatedWork W2079165952 @default.
- W4300807721 hasRelatedWork W2128844732 @default.
- W4300807721 hasRelatedWork W2798742893 @default.
- W4300807721 hasRelatedWork W2950145289 @default.
- W4300807721 hasRelatedWork W2951830773 @default.
- W4300807721 hasRelatedWork W3193567232 @default.
- W4300807721 hasRelatedWork W4303619839 @default.
- W4300807721 isParatext "false" @default.
- W4300807721 isRetracted "false" @default.
- W4300807721 workType "article" @default.