An In-Pipe Leak Detection Robot With a Neural-Network-Based Leak Verification System | IEEE Journals & Magazine | IEEE Xplore