Inproceedings,

Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games.

, , , , , and .
SODA, page 2333-2349. SIAM, (2019)

Meta data

Tags

Users

  • @dblp

Comments and Reviews