Mascot Scalable Controller Synthesis
Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck
University of Toronto MPI-SWS MPI-SWS MPI-SWS
kyle.hsu (at) mail.utoronto.ca rupak (at) mpi-sws.org kmallik (at) mpi-sws.org akschmuck (at) mpi-sws.org