Synthesis for human-in-the-loop control systems

Wenchao Li, Dorsa Sadigh, S Shankar Sastry, and Sanjit A Seshia. 2014. Synthesis for human-in-the-loop control systems. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 470--484.

2014