Onboard Learning of Adaptive Behavior: Biologically Inspired and Formal Methods | IEEE Conference Publication | IEEE Xplore