Limit Deterministic and Probabilistic Automata for LTL ∖ GU.

Dileep Kini, Mahesh Viswanathan

Browse the full TACAS paper archive.