Adaptive video streaming is a widely used way of distributing video material over the Internet. It employs adaptive bitrate (ABR) algorithms to ensure a high quality of experience (QoE) for end users ...