Sports Analytics Using Probabilistic Model Checking and Deep Learning | IEEE Conference Publication | IEEE Xplore