Jul, 2023

动态多智体系统的分层控制器综合

TL;DR该论文针对多智能体控制问题提出了分层方法,其中包括三个阶段:计算系统的高级计划、通过 SMT 公式处理组合问题,以及使用强化学习获得神经网络控制策略,由于其正确性具有构建性,但缺乏实时执行功能,因此使用 SWA-SMT 解决方案作为最后阶段的初始训练数据集