Search: WFRF:(Friedrich Jana)
> (2020-2023) >
Multi-Agent Strateg...
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition
-
- Schuppe, Georg Friedrich, 1993- (author)
- KTH,Robotik, perception och lärande, RPL
-
- Tumova, Jana (author)
- KTH,Robotik, perception och lärande, RPL
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers (IEEE), 2020
- 2020
- English.
-
In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE). - : Institute of Electrical and Electronics Engineers (IEEE).
- Related links:
-
https://kth.diva-por... (primary) (Raw object)
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- We propose a compositional solution to the strategy synthesis problem for LTL specifications in the cooperative (heterogeneous) multi-agent scenario. A main challenge of the general strategy synthesis approach is the state-space explosion occurring during construction of a global model for agents with different, mutually dependent goals. Given a set of agents and their individual goal specifications represented through a local model and an LTL formula, we compute a compliant set of strategies that fulfill each agents’ goal specification. We avoid the state-space explosion by computing individual solutions for each agent separately and then composing these solutions. During the initial strategy computation, assumptions over the states of other agents not represented in the local model are generated only where needed. These assumptions are resolved during composition of the individual solutions to assure compliance of the computed strategies. The effectiveness of this approach is demonstrated in several simulation case studies and compared to the classical, monolithic approach.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Robotteknik och automation (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Robotics (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database