Spatio-temporal Hybrid Automata for Cyber-Physical Systems.

Zhucheng Shao, Jing Liu

Browse the full ICTAC paper archive.