C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems.
Rong Gu
Peter Gjøl Jensen
Cristina Seceleanu
Eduard Enoiu
Kristina Lundqvist
Published in:
Sci. Comput. Program. (2022)
Keyphrases
</>
autonomous systems
multi agent
uncertain environments
dynamic environments
autonomous navigation
image compression
intelligent agents
situation awareness
dynamic and uncertain environments
reinforcement learning
unmanned aerial vehicles
high quality
image quality