Weighted Modal Transition Systems

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

Published in: CoRR (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
modal logic
formal methods
model checker
knowledge base
software engineering
domain specific
petri net
domain independent