Behavioural Equivalences on Finite-State Systems are PTIME-hard.

Zdenek Sawa Petr Jancar

Published in: Comput. Artif. Intell. (2005)

Keyphrases

finite state
markov chain
model checking
markov decision processes
distributed systems
information retrieval
objective function
probabilistic model
linear programming
formal methods
average cost
tree automata