Quantitative analysis of weighted transition systems.

Claus R. Thrane Uli Fahrenberg Kim G. Larsen

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

quantitative analysis
transition systems
model checking
qualitative analysis
concurrent systems
practical reasoning
temporal logic
qualitative and quantitative analysis
qualitative evaluation
finite state
control flow
domain specific
multiagent systems
heuristic search