GitHub repository: KIT-MRT/EnTT-Pacman
Description: A pacman implementation adapted to showcase arbitration graphs