Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata. - Sebastian Preugschat; Thomas Wilke (FoSSaCS, 2012)

Effective Characterizations of Simple Fragments of Temporal Logic Using Carton–Michel Automata - Sebastian Preugschat; Thomas Wilke (Log. Methods Comput. Sci., 2013)

Backward deterministic and weak alternating ω-automata. - Sebastian Preugschat; Thomas Wilke (CoRR, 2017)