Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli. Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. In IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019. pages 12260-12269, Computer Vision Foundation / IEEE, 2019. [doi]
Abstract is missing.