Quantitative Refinement for Weighted Modal Transition Systems.

Sebastian S. Bauer Uli Fahrenberg Line Juhl Kim G. Larsen Axel Legay Claus R. Thrane

Published in: MFCS (2011)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
modal logic
reactive systems
model checker
software development
markov chain
distributed systems
markov decision processes
knowledge base
software engineering
case study