Experimental research of navigation behavior selection using generalized stochastic Petri nets (GSPN) for a tour-guide robot | IEEE Conference Publication | IEEE Xplore