That might be the lexicographic Mario agent: http://tom7.org/mario/ http://tom7.org/mario/ (Checking my list & https://arxiv.org/abs/1803.03453 https://arxiv.or

That might be the lexicographic Mario agent: http://tom7.org/mario/ http://tom7.org/mario/ (Checking my list & https://arxiv.org/abs/1803.03453 https://arxiv.org/abs/1803.03453 I don't see any others about pausing or stopping the game.)