Discrete time stochastic hybrid dynamical games: Verification & controller synthesis | IEEE Conference Publication | IEEE Xplore