A Cascade Decomposition of Weighted Finite Transition Systems.

Manfred Droste Ingmar Meinecke Branimir Seselja Andreja Tepavcevic

Published in: NCMA (2011)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
practical reasoning
finite state
control flow
finite number
reactive systems
fully observable