Search: onr:"swepub:oai:DiVA.org:kth-305973" >
Decentralized Multi...
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers
-
- 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), 2021
- 2021
- English.
-
In: 2021 International Symposium on Multi-Robot and Multi-Agent Systems (MRS). - : Institute of Electrical and Electronics Engineers (IEEE).
- Related links:
-
https://ieeexplore.i...
-
show more...
-
https://kth.diva-por... (primary) (Raw object)
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- We propose a decentralized solution to a high-level task-planning problem for a multi-agent system under a set of possibly dependent LTL f specifications. We propose an approach where the problem is turned into a number of individual two and a half player stochastic games with reachability objectives. If almost-surely winning strategies cannot be found for them, we deploy so-called least-limiting advisers to restrict agents' behaviours. A key step is treating safety and liveness separately, by synthesizing necessary safety and fairness assumptions and iteratively exchanging them in the form of advisers between the agents. We avoid the state-space explosion problem by computing advisers locally in each game, independently of the model and specification of other agents. The solution is sound, but conservative. We demonstrate its scalability in a series of simulated scenarios involving cleaning of an office-like environment.
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