Lyu, D.; Yang, F.; Liu, B.; Yoon, D. Logic-Based Sequential Decision-Making. AAAI 2019, 33, 9995-9996.