Reactive Synthesis vs.Supervisory Control: Bridging the Gap

R. Ehlers, S. Lafortune, S. Tripakis, M. Vardi

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEECS Department, University of California, Berkeley
    Publication statusPublished - 2013
    MoE publication typeD4 Published development or research report or study

    Cite this