A boundedness theoretical analysis for GrADP design: A case study on maze navigation | IEEE Conference Publication | IEEE Xplore