Pumping Lemmas for Weighted Automata

Filip Mazowiecki, Cristian Riveros. Pumping Lemmas for Weighted Automata. In Rolf Niedermeier, Brigitte Vallée, editors, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France. Volume 96 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Filip Mazowiecki

This author has not been identified. Look up 'Filip Mazowiecki' in Google

Cristian Riveros

This author has not been identified. Look up 'Cristian Riveros' in Google