Limit-Deterministic Bchi Automata for Linear Temporal Logic.

Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretnsk

Browse the full CAV paper archive.