"From LTL and Limit-Deterministic Büchi Automata to Deterministic ..."

Javier Esparza et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics