Archive > Volume 10 Issue 4 > 2016,10(4):0-0 Prev Next

AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning