A Fragment of Linear Temporal Logic for Universal Very Weak Automata. - Keerthi Adabala; Rüdiger Ehlers (ATVA, 2018)

Reactive Synthesis of Graphical User Interface Glue Code. - Rüdiger Ehlers; Keerthi Adabala (ATVA, 2019)