Sign in
The Triple-Pair Construction for Weighted ω-Pushdown Automata.
Manfred Droste
Zoltán Ésik
Werner Kuich
Published in:
Int. J. Found. Comput. Sci. (2022)
Keyphrases
</>
cellular automata
finite state machines
finite state
pairwise
model checking
neural network
image segmentation
regular expressions
construction process
finite automata
weighted distance
knowledge base
image sequences
search algorithm
lower bound
timed automata