HIGHLIGHTS
- who: Rong Gu from the Link to from University University, Denmark have published the research work: Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems, in the Journal: (JOURNAL)
- what: MoCReL can compress large strategies into smaller ones that have down to 0.05% of the original sizes while preserving their which the authors show in this paper. To alleviate these issues, the authors propose MoCReL (Model-checked Compressed Reinforcement Learning). To overcome the difficulty of building the models manually, the authors propose parameterized templates of models. The design of the templates enables . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.