control-synthesis

本文提出了一种基于自动机的新型方法，用于从信号时序逻辑规范中进行控制综合，利用强化学习，相比现有方法，提高了鲁棒性分数和满足率。