On simultaneously determinizing and complementing omega -automata | IEEE Conference Publication | IEEE Xplore