GitHub repository: oura1112/RL-based_Formal_Synthesis
Primary language: TeX
Description: this is the repository of programs, thesis, etc. for formal synthesis of controller via reinforcement learning.