Making Streett Determinization Tight.

Cong Tian Wensheng Wang Zhenhua Duan

Published in: CoRR (2020)

Keyphrases

lower bound
upper bound
decision trees
small number
generalization error bounds