A Naturally-Colored Translation from LTL to Parity and COCOA.

Rdiger Ehlers, Ayrat Khalimov

Browse the full LICS paper archive.