Weighted restarting automata and pushdown relations.

Qichao Wang Friedrich Otto

Published in: Theor. Comput. Sci. (2016)

Keyphrases

weighted sum
finite state
cellular automata
regular expressions
spatial relations
search algorithm
relational databases
probabilistic model
weighted distance
finite automata
finite state machines
model checking
real time
multi agent
metadata
information systems
social networks
real world
databases
data sets