Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems

Planning is a critical function of multi-agent autonomous systems, which includes path finding and task scheduling. Exhaustive search-based methods such as model checking and algorithmic game theory can solve simple instances of multi-agent planning. However, these methods suffer from state-space ex...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 224; s. 102894
Hlavní autoři:	Gu, Rong, Jensen, Peter G., Seceleanu, Cristina, Enoiu, Eduard, Lundqvist, Kristina
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.12.2022
Témata:	Multi-agent autonomous systems Planning Reinforcement learning Strategy compression Timed games Multi-agent autonomous systems Strategy compression Planning Reinforcement learning Timed games
ISSN:	0167-6423, 1872-7964, 1872-7964
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!