DMCA

Algorithms for Omega-Regular Games with Incomplete Information (2006)

by Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger , Jean-François Raskin
Citations:55 - 11 self