D. Lyu, F. Yang, B. Liu, and D. Yoon, “Logic-Based Sequential Decision-Making”, AAAI, vol. 33, no. 01, pp. 9995-9996, Jul. 2019.