Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)

Re-assign community