MAMUT: Multi-Agent Reinforcement Learning for Efficient Real-Time Multi-User Video Transcoding | IEEE Conference Publication | IEEE Xplore