Non-bisimulation Based Behavioral Relations for Markov Automata.

Published in: FORMATS (2018)

Keyphrases

markov chain
finite state
cellular automata
semantic relations
finite state machines
equivalence relation
regular expressions
real time
relational databases
temporal relations
markov processes
probabilistic automata