Sebastian Preugschat

According to our database, Sebastian Preugschat authored at least 3 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Backward deterministic and weak alternating ω-automata.

Sebastian Preugschat, Thomas Wilke

CoRR, 2017

2013

Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata

Sebastian Preugschat, Thomas Wilke

Log. Methods Comput. Sci., 2013

2012

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

Sebastian Preugschat, Thomas Wilke

Proceedings of the Foundations of Software Science and Computational Structures, 2012