Inferring Synchronization under Limited Observability.

Martin T. Vechev Eran Yahav Greta Yorsh

Published in: TACAS (2009)

Keyphrases

cooperative
database
databases
real world
decision trees
image segmentation
user interface
decision makers
limited resources
partial observability