Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu 0001. Towards a model of human-cyber-physical automata and a synthesis framework for control policies. Journal of Systems Architecture, 144:102989, November 2023. [doi]
Abstract is missing.