Metrics for weighted transition systems: Axiomatization and complexity.

Kim G. Larsen Uli Fahrenberg Claus R. Thrane

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

Keyphrases

transition systems
model checking
concurrent systems
finite state
artificial intelligence
social networks
reinforcement learning
computational complexity