Pumping Lemmas for Weighted Automata.

Filip Mazowiecki Cristian Riveros

Published in: STACS (2018)

Keyphrases

theorem prover
weighted sum
finite automata
genetic algorithm
theorem proving
probabilistic automata
real time
decision trees
cellular automata
regular expressions
weighted distance