POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems

Published in International Symposium on Automated Technology for Verification and Analysis (ATVA), 2022