Modeling and verification of cyber-physical systems under uncertainty.

Shengling Geng, Jiao Peng, Ping Li

Browse the full ICNC paper archive.