Synthesis for Human-in-the-Loop Control Systems.

Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia

Browse the full TACAS paper archive.