@inproceedings{
    gapWODES2014_stavros,
    author = "Ehlers, R. and Lafortune, S. and Tripakis, S. and Vardi, M.",
    responsibleauthor = "Tripakis, Stavros",
    language = "eng",
    title = "{Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control}",
    url = "http://www.eecs.berkeley.edu/~stavros/papers/wodes14.pdf",
    booktitle = "12th IFAC International Workshop on Discrete Event Systems (WODES)",
    juforank = "",
    il = "yes",
    eventdetails = "ENS, Cachan, France, 14.-16.5.2014",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "A4"
}