Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021
Image-Binary Automata
Stefan Kiefer, Cas Widdershoven
We introduce a certain restriction of weighted automata over the rationals, called image-binary automata. We show that such automata accept the regular languages, can be exponentia…
cs.FL2019
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
Stefan Kiefer, Cas Widdershoven
We introduce a novel technique to analyse unambiguous Büchi automata quantitatively, and apply this to the model checking problem. It is based on linear-algebra arguments that orig…