9th International Workshop
Weighted Automata: Theory and Applications
WATA 2018
May 22–26, 2018, Leipzig, Germany
May 22–26, 2018, Leipzig, Germany
Tutorials
- 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
