Previous Workshops

9th International Workshop

Weighted Automata: Theory and Applications

WATA 2018
May 22–26, 2018, Leipzig, Germany


Mikołaj Bojańczyk
Polynomials in the Service of Automata and Logic
Frank Drewes
(Weighted) Regular DAG Languages – Properties and Algorithms
Borja de Balle Pigem
Singular Value Automata

Survey Lectures

Zoltán Fülöp
Composition Hierarchies of Linear Weighted Extended Top-Down Tree Transducers
Paul Gastin
Regular Transducer Expressions for Two-way Deterministic Transducers
Werner Kuich
Weighted ω–Pushdown Automata
Kim Larsen
Energy Timed Automata and Games
Sebastian Maneth
Deciding Equivalence of Tree Transducers
Benjamin Monmege
A Journey Through Negatively-Weighted Timed Games: Undecidability, Decidability, Approximability
Jacques Sakarovitch
The Sequentialisation of Automata and Transducers


Impressum Data Protection Declaration Picture Source