A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement.

Sharon Shoham Orna Grumberg

Published in: CAV (2003)

Keyphrases

database
main contribution
learning tools
metadata
website
image segmentation
high level
image sequences
multi agent systems
learning systems
model checking