Human-Cyber-Physical Automata and Their Synthesis.

Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu

Browse the full ICTAC paper archive.