How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata.

Csar Snchez, Julin Samborski-Forlese

Browse the full ICTAC paper archive.