This repository contains Dongming Shen's code and documentation for the research projects conducted at the AIDyS Lab, USC. The project focuses on integrating Reinforcement Learning (RL) to solve partially observable Markov decision processes (POMDP) under finite linear temporal logic (LTL) constraints.
Related Publications: