Multi-weighted Automata and MSO Logic.

Manfred Droste Vitaly Perevoshchikov

Published in: Theory Comput. Syst. (2016)

Keyphrases

regular expressions
finite state
tree automata
monadic second order logic
logic programming
modal logic
weighted sum
automated reasoning
data sets
markov chain
finite automata
predicate logic
neural network
markov decision processes
classical logic
defeasible logic