@article{Filiot:2011:ACA:2086840.2086875,
    Address = {Hingham, MA, USA},
    Author = {Filiot, Emmanuel and Jin, Naiyong and Raskin, Jean-Fran\c{c}ois},
    File = {Antichains and Compositional Algorithms for LTL Synthesis - Filiot, Jin, Raskin (0) (0) - a - a - r.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {Antichain algorithms, Automata on infinite words, Compositional algorithms, LTL realizability and synthesis},
    Month = {December},
    Number = {3},
    Pages = {261--296},
    Publisher = {Kluwer Academic Publishers},
    Title = {Antichains and Compositional Algorithms for LTL Synthesis},
    URL = {http://dx.doi.org/10.1007/s10703-011-0115-3},
    Volume = {39},
    Year = {2011},
    acmid = {2086875},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-011-0115-3},
    date-added = {2014-06-22 11:57:49 +0000},
    date-modified = {2014-06-22 11:57:49 +0000},
    issue_date = {December 2011},
    numpages = {36},
    doi = {10.1007/s10703-011-0115-3}
}

@article{Filiot:2011:ACA:2086840.2086875, Address = {Hingham, MA, USA}, Author = {Filiot, Emmanuel and Jin, Naiyong and Raskin, Jean-Fran\c{c}ois}, File = {Antichains and Compositional Algorithms for LTL Synthesis - Filiot, Jin, Raskin (0) (0) - a - a - r.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {Antichain algorithms, Automata on infinite words, Compositional algorithms, LTL realizability and synthesis}, Month = {December}, Number = {3}, Pages = {261--296}, Publisher = {Kluwer Academic Publishers}, Title = {Antichains and Compositional Algorithms for LTL Synthesis}, URL = {http://dx.doi.org/10.1007/s10703-011-0115-3}, Volume = {39}, Year = {2011}, acmid = {2086875}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-011-0115-3}, date-added = {2014-06-22 11:57:49 +0000}, date-modified = {2014-06-22 11:57:49 +0000}, issue_date = {December 2011}, numpages = {36}, doi = {10.1007/s10703-011-0115-3} }