![](/img/cover-not-exists.png)
[IEEE 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER) - Hong Kong, Hong Kong (2014.6.4-2014.6.7)] The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent - Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems
Abbas, Houssam, Hoxha, Bardh, Fainekos, Georgios, Ueda, KoichiYear:
2014
Language:
english
DOI:
10.1109/cyber.2014.6917426
File:
PDF, 337 KB
english, 2014