Model Checking for Probabilistic Timed Black-box Systems (S).

Yibo Li, Jin Xu

Browse the full SEKE paper archive.