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žené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 24; číslo 3; s. 395 - 414
Hlavní autori:	Gu, Rong, Jensen, Peter G., Poulsen, Danny B., Seceleanu, Cristina, Enoiu, Eduard, Lundqvist, Kristina
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2022 Springer Nature B.V
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!