Monoid-labeled transition systems.

H. Peter Gumm Tobias Schröder

Published in: CMCS (2001)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
training data
data flow
supervised learning
formal verification
reactive systems
distributed systems
markov chain