Login / Signup

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

Julian GutierrezAnthony W. LinMuhammad NajibThomas SteeplesMichael J. Wooldridge
Published in: CoRR (2023)
Keyphrases