Publications

• Synthesis for Human-in-the-Loop Control Systems
  Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia
  (Technical Report)

• Automating Exercise Generation: A Step towards Meeting the MOOC Challenge for Embedded Systems
  Dorsa Sadigh, Sanjit Seshia, Mona Gupta
  WESE 2012 (Workshop Paper)

• Synthesis with Clairvoyance
  Orna Kupferman, Dorsa Sadigh, Sanjit Seshia
  HVC 2011

• Timing Analysis of Interrupt-Driven Programs under Context Bounds
  Jonathan Kotker, Dorsa Sadigh, Sanjit Seshia
  FMCAD 2011