A tighter analysis of Piterman s Büchi determinization

Wanwei Liu, Ji Wang. A tighter analysis of Piterman s Büchi determinization. Inf. Process. Lett., 109(16):941-945, 2009. [doi]

Abstract

Abstract is missing.