@inproceedings{KSS11,
    author    =    "O. Kupferman and D. Sadigh and S.A. Seshia",
    title     =    "Synthesis with Clairvoyance",
    booktitle =    hvc11,
    pages           = "5-19",
    series    = lncs,
    volume    = "7261",
    publisher = springer,
    year      = 2011
}