Stochastic hybrid systems modeling and performance verification of behavior-based robots | IEEE Conference Publication | IEEE Xplore