Synthesizing Programmatic Policies with Actor-Critic Algorithms and ReLU Networks. - Spyros Orfanos; Levi H. S. Lelis (CoRR, 2023)