Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata.

Sebastian Preugschat, Thomas Wilke

Browse the full FOSSACS paper archive.