Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.

Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang

Browse the full ISSRE paper archive.