Arthur and Merlin/Definition

In game theory, names used instead of Alice and Bob for players in certain games, the Arthur-Merlin games.