Skip to content

Quantitative solution of omega-regular games.

Luca de Alfaro, Rupak Majumdar

VenueA*STOC
Year2001
ProceedingsSTOC

Browse the full STOC paper archive.