Ironically, the Minor League RoboUmp they used for the All Star game would have called that a strike. They can't tell if a pitch bounces.
edit: at 2nd watch, it looks like it was high after the bounce, so not a strike. But that's why the umps are still behind the plate and can override.