Transition systems with independence and multi-arcs.

Thomas T. Hildebrandt Vladimiro Sassone

Published in: Partial Order Methods in Verification (1996)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
artificial intelligence
reactive systems
reinforcement learning
linear programming