LTL with Past and Two-Way Very-Weak Alternating Automata.

Paul Gastin, Denis Oddoux

Browse the full MFCS paper archive.