Game-Theoretic Upper Expectations for Discrete-Time Finite-State Uncertain Processes.