Rigid Reachability.

Harald Ganzinger Florent Jacquemard Margus Veanes

Published in: ASIAN (1998)

Keyphrases

state space
three dimensional
transitive closure
machine learning
multi agent systems
data sets
high level
high quality
pairwise
viewpoint