Technical Reports - Stavros Tripakis

Reactive Synthesis vs. Supervisory Control: Bridging the Gap (EECS-2013-162)
Ruediger Ehlers, Stephane Lafortune, Stavros Tripakis and Moshe Vardi

Determinate Composition of FMUs for Co-Simulation (EECS-2013-153)
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis and Michael Wetter