[1] Z. Zhang and K. P. Lam, "Practical implementation and evaluation of deep reinforcement learning control for a radiant heating system," in Proceedings of the 5th Conference on Systems for Built Environments, 2018, pp. 148-157.
[2] Y. Pan, C.-A. Cheng, K. Saigol, K. Lee, X. Yan, E. Theodorou, and B. Boots, "Agile autonomous driving using end-to-end deep imitation learning," in Robotics: science and systems, 2018.
[3] X. Qi, Y. Luo, G. Wu, K. Boriboonsomsin, and M. Barth, "Deep reinforcement learning enabled self-learning control for energy efficient driving," Transportation Research Part C: Emerging Technologies, vol. 99, pp. 67-81, 2019.
[4] B. R. Kiran, I. Sobh, V. Talpaert, P. Mannion, A. A. Al Sallab, S. Yogamani, and P. Pérez, “Deep reinforcement learning for autonomous driving: A survey,” IEEE Transactions on Intelligent Transportation Systems, vol. 23, no. 6, pp. 4909–4926, 2021.
[5] F.-L. Fan, J. Xiong, M. Li, and G. Wang, "On interpretability of artificial neural networks: A survey," IEEE Transactions on Radiation and Plasma Medical Sciences, vol. 5, no. 6, pp. 741-760, 2021.
[6] R. V. Yampolskiy, "Unexplainability and incomprehensibility of AI," Journal of Artificial Intelligence and Consciousness, vol. 7, no. 02, pp. 277-291, 2020.
[7] S. Dutta, X. Chen, and S. Sankaranarayanan, “Reachability analysis for neural feedback systems using regressive polynomial rule inference,” in ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19), 2019, pp. 157–168.
[8] J. Fan, C. Huang, X. Chen, W. Li, and Q. Zhu, "Reachnn": A tool for reachability analysis of neural-network controlled systems," in International Symposium on Automated Technology for Verification and Analysis. Springer, 2020, pp. 537-542.
[9] R. Ivanov, T. Carpenter, J. Weimer, R. Alur, G. Pappas, and I. Lee, "Verisig 2.0: Verification of neural network controllers using taylor model preconditioning," in International Conference on Computer Aided Verification (CAV'21). Springer, 2021, pp. 249-262.
[10] C. Huang, J. Fan, X. Chen, W. Li, and Q. Zhu, “Polar: A polynomial arithmetic framework for verifying neural-network controlled systems,” in The 20th International Symposium on Automated Technology for Verification and Analysis (ATVA'22). Springer, 2022, pp. 414–430.
[11] K. Makino and M. Berz, "Taylor models and other validated functional inclusion methods," International Journal of Pure and Applied Mathematics, vol. 6, pp. 239-316, 2003.
[12] W. Ruan, X. Huang, and M. Kwiatkowska, "Reachability analysis of deep neural networks with provable guarantees," in Proceedings of the 27th International Joint Conference on Artificial Intelligence, 2018, pp. 2651-2659.
[13] S. Dutta, S. Jha, S. Sankaranarayanan, and A. Tiwari, "Output range analysis for deep feedforward neural networks," in 10th International Symposium on NASA Formal Methods (NFM'18). Springer, 2018, pp. 121-138.
[14] L. M. Schmidt, G. Kontes, A. Plinge, and C. Mutschler, "Can you trust your autonomous car? interpretable and verifiably safe reinforcement learning," in 2021 IEEE Intelligent Vehicles Symposium (IV). IEEE, 2021, pp. 171-178.
[15] O. Bastani, Y. Pu, and A. Solar-Lezama, “Verifiable reinforcement learning via policy extraction,” Advances in Neural Information Processing Systems (NeurIPS'18), vol. 31, 2018.