Quantitative solution of omega-regular games.

Luca de Alfaro Rupak Majumdar

Published in: J. Comput. Syst. Sci. (2004)

Keyphrases

real time
optimal solution
social networks
website
cooperative
search algorithm
leader follower