Sökning: id:"swepub:oai:DiVA.org:mdh-58044" >
Verifiable strategy...
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
-
- Gu, Rong (författare)
- Mälardalens universitet,Inbyggda system
-
- Jensen, Peter G. (författare)
- Aalborg University, Ålborg, Denmark
-
- Poulsen, Danny B. (författare)
- Aalborg University, Ålborg, Denmark
-
visa fler...
-
- Seceleanu, Cristina, 1968- (författare)
- Mälardalens universitet,Inbyggda system
-
- Enoiu, Eduard Paul, PhD (författare)
- Mälardalens universitet,Innovation och produktrealisering
-
- Lundqvist, Kristina (författare)
- Mälardalens universitet,Inbyggda system
-
visa färre...
-
(creator_code:org_t)
- 2022-03-30
- 2022
- Engelska.
-
Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer Berlin/Heidelberg. - 1433-2779 .- 1433-2787. ; 24:3, s. 395-414
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Path planning and task scheduling are two challenging problems in the design of multiple autonomous agents. Both problems can be solved by the use of exhaustive search techniques such as model checking and algorithmic game theory. However, model checking suffers from the infamous state-space explosion problem that makes it inefficient at solving the problems when the number of agents is large, which is often the case in realistic scenarios. In this paper, we propose a new version of our novel approach called MCRL that integrates model checking and reinforcement learning to alleviate this scalability limitation. We apply this new technique to synthesize path planning and task scheduling strategies for multiple autonomous agents. Our method is capable of handling a larger number of agents if compared to what is feasibly handled by the model-checking technique alone. Additionally, MCRL also guarantees the correctness of the synthesis results via post-verification. The method is implemented in UPPAAL STRATEGO and leverages our tool MALTA for model generation, such that one can use the method with less effort of model construction and higher efficiency of learning than those of the original MCRL. We demonstrate the feasibility of our approach on an industrial case study: an autonomous quarry, and discuss the strengths and weaknesses of the methods.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas