Reactive Synthesis vs.Supervisory Control: Bridging the Gap

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

Research output: Working paper › Professional

Original language	English
Place of Publication	EECS Department, University of California, Berkeley
Publication status	Published - 2013
MoE publication type	D4 Published development or research report or study

Access to Document

TY - UNPB

T1 - Reactive Synthesis vs.Supervisory Control: Bridging the Gap

AU - Ehlers, R.

AU - Lafortune, S.

AU - Tripakis, S.

AU - Vardi, M.

PY - 2013

Y1 - 2013

UR - http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-162.html

M3 - Working paper

BT - Reactive Synthesis vs.Supervisory Control: Bridging the Gap

CY - EECS Department, University of California, Berkeley

ER -