The Triple-Pair Construction for Weighted ω-Pushdown Automata.

Manfred Droste Zoltán Ésik Werner Kuich

Published in: AFL (2017)

Keyphrases

cellular automata
pairwise
real time
feature selection
model checking
regular expressions
finite state
weighted distance
data sets
machine learning
learning algorithm
multi agent
expert systems
mobile robot
weighted sum
timed automata