Bisimulation Metrics for Weighted Automata.

Borja Balle Pascale Gourdeau Prakash Panangaden

Published in: CoRR (2017)

Keyphrases

cellular automata
finite automata
chi squared
real time
finite state automata
weight matrix
weighted distance
evaluation metrics
regular expressions
order statistics
weighted graph
finite state
finite state machines
markov chain
scheduling problem
multiscale
information systems