FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4220979297> ?p ?o ?g. }

• W4220979297 endingPage "414" @default.
• W4220979297 startingPage "395" @default.
• W4220979297 abstract "Abstract 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." @default.
• W4220979297 created "2022-04-03" @default.
• W4220979297 creator A5016735339 @default.
• W4220979297 creator A5025773724 @default.
• W4220979297 creator A5028307375 @default.
• W4220979297 creator A5045641364 @default.
• W4220979297 creator A5051884235 @default.
• W4220979297 creator A5087650786 @default.
• W4220979297 date "2022-03-30" @default.
• W4220979297 modified "2023-10-14" @default.
• W4220979297 title "Verifiable strategy synthesis for multiple autonomous agents: a scalable approach" @default.
• W4220979297 cites W1465777884 @default.
• W4220979297 cites W1499021164 @default.
• W4220979297 cites W1503480312 @default.
• W4220979297 cites W1512485549 @default.
• W4220979297 cites W1556387789 @default.
• W4220979297 cites W1583869287 @default.
• W4220979297 cites W1598969122 @default.
• W4220979297 cites W1599995366 @default.
• W4220979297 cites W1987234253 @default.
• W4220979297 cites W1992503831 @default.
• W4220979297 cites W2096178388 @default.
• W4220979297 cites W2101508170 @default.
• W4220979297 cites W2110903336 @default.
• W4220979297 cites W2139101939 @default.
• W4220979297 cites W2150220388 @default.
• W4220979297 cites W2481150835 @default.
• W4220979297 cites W2912198824 @default.
• W4220979297 cites W2947393117 @default.
• W4220979297 cites W2963804019 @default.
• W4220979297 cites W2964257036 @default.
• W4220979297 cites W2981739602 @default.
• W4220979297 cites W2995074243 @default.
• W4220979297 cites W3012575488 @default.
• W4220979297 cites W3014649400 @default.
• W4220979297 cites W3035434438 @default.
• W4220979297 cites W3082321794 @default.
• W4220979297 cites W3103759471 @default.
• W4220979297 cites W3171450350 @default.
• W4220979297 cites W3214332239 @default.
• W4220979297 doi "https://doi.org/10.1007/s10009-022-00657-z" @default.
• W4220979297 hasPublicationYear "2022" @default.
• W4220979297 type Work @default.
• W4220979297 citedByCount "6" @default.
• W4220979297 countsByYear W42209792972022 @default.
• W4220979297 countsByYear W42209792972023 @default.
• W4220979297 crossrefType "journal-article" @default.
• W4220979297 hasAuthorship W4220979297A5016735339 @default.
• W4220979297 hasAuthorship W4220979297A5025773724 @default.
• W4220979297 hasAuthorship W4220979297A5028307375 @default.
• W4220979297 hasAuthorship W4220979297A5045641364 @default.
• W4220979297 hasAuthorship W4220979297A5051884235 @default.
• W4220979297 hasAuthorship W4220979297A5087650786 @default.
• W4220979297 hasBestOaLocation W42209792971 @default.
• W4220979297 hasConcept C110251889 @default.
• W4220979297 hasConcept C120314980 @default.
• W4220979297 hasConcept C126255220 @default.
• W4220979297 hasConcept C149635348 @default.
• W4220979297 hasConcept C154945302 @default.
• W4220979297 hasConcept C177264268 @default.
• W4220979297 hasConcept C199360897 @default.
• W4220979297 hasConcept C206729178 @default.
• W4220979297 hasConcept C24858836 @default.
• W4220979297 hasConcept C33923547 @default.
• W4220979297 hasConcept C41008148 @default.
• W4220979297 hasConcept C48044578 @default.
• W4220979297 hasConcept C55416958 @default.
• W4220979297 hasConcept C55439883 @default.
• W4220979297 hasConcept C74172769 @default.
• W4220979297 hasConcept C77088390 @default.
• W4220979297 hasConcept C80444323 @default.
• W4220979297 hasConcept C85847156 @default.
• W4220979297 hasConcept C97541855 @default.
• W4220979297 hasConceptScore W4220979297C110251889 @default.
• W4220979297 hasConceptScore W4220979297C120314980 @default.
• W4220979297 hasConceptScore W4220979297C126255220 @default.
• W4220979297 hasConceptScore W4220979297C149635348 @default.
• W4220979297 hasConceptScore W4220979297C154945302 @default.
• W4220979297 hasConceptScore W4220979297C177264268 @default.
• W4220979297 hasConceptScore W4220979297C199360897 @default.
• W4220979297 hasConceptScore W4220979297C206729178 @default.
• W4220979297 hasConceptScore W4220979297C24858836 @default.
• W4220979297 hasConceptScore W4220979297C33923547 @default.
• W4220979297 hasConceptScore W4220979297C41008148 @default.
• W4220979297 hasConceptScore W4220979297C48044578 @default.
• W4220979297 hasConceptScore W4220979297C55416958 @default.
• W4220979297 hasConceptScore W4220979297C55439883 @default.
• W4220979297 hasConceptScore W4220979297C74172769 @default.
• W4220979297 hasConceptScore W4220979297C77088390 @default.
• W4220979297 hasConceptScore W4220979297C80444323 @default.
• W4220979297 hasConceptScore W4220979297C85847156 @default.
• W4220979297 hasConceptScore W4220979297C97541855 @default.
• W4220979297 hasFunder F4320327360 @default.
• W4220979297 hasIssue "3" @default.
• W4220979297 hasLocation W42209792971 @default.
• W4220979297 hasLocation W42209792972 @default.
• W4220979297 hasLocation W42209792973 @default.
• W4220979297 hasOpenAccess W4220979297 @default.

• next