Liang, J. H. (2018). Machine Learning for SAT Solvers. Waterloo, ON, Canada. Retrieved from http://hdl.handle.net/10012/14207 (Original work published 2018)
Reference keyword: Reinforcement learning
Abdelzad, V. ., Lee, J. ., Sedwards, S. ., Soltani, S. ., & Czarnecki, K. . (2021). Non-divergent Imitation for Verification of Complex Learned Controllers. Shenzhen, China (virtual): IEEE. https://doi.org/10.1109/IJCNN52387.2021.9533410
Lee, J. ., & Sutton, R. S. (2021). Policy iterations for reinforcement learning problems in continuous time and space \textemdash Fundamental theory and methods. Automatica, 126, 109421, 15 pages. https://doi.org/10.1016/j.automatica.2020.109421 (Original work published 2021)
Lee, S. ., Lee, J. ., & Hasuo, I. . (2021). Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. Shenzhen, China (virtual): IEEE. https://doi.org/10.1109/IJCNN52387.2021.9534243