Article,

Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.

, and .
J. ACM, 61 (3): 15:1-15:40 (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews