| Definition | Implements a Reinforcement Learning Task on a custom environment using temporal logic specifications |
| No of environments | 1 |
The repository implements a Reinforcement Learning Task on a custom environment using temporal logic specifications. The project is based on the paper “Modular Deep Reinforcement Learning with Temporal Logic Specifications” (Lim Zun Yuan et al.) using a modified Soft-Actor-Critic algorithm based on the Py-Torch implementation provided at Py-Torch SAC.