Inproceedings,

A Dynamic Algorithm for Reachability Games Played on Trees.

, , and .
MFCS, volume 5734 of Lecture Notes in Computer Science, page 477-488. Springer, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews