Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

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 explosi...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 24; číslo 3; s. 395 - 414
Hlavní autoři:	Gu, Rong, Jensen, Peter G., Poulsen, Danny B., Seceleanu, Cristina, Enoiu, Eduard, Lundqvist, Kristina
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2022 Springer Nature B.V
Témata:	Algorithms Computer Science Explosions Game theory Learning Path planning Planning Scheduling Simulation Software Engineering Software Engineering/Programming and Operating Systems Synthesis Task scheduling Theory of Computation Model checking Autonomous agents Synthesis Reinforcement learning
ISSN:	1433-2779, 1433-2787, 1433-2787
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!