Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez. Statistical Model Checking of Incomplete Stochastic Systems. ISoLA 2018 - International Symposium on Leveraging Applications of Formal Methods, Nov 2018, Limassol, Cyprus. Springer, 11245, p
HAL Archives-Ouvertes,
Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez. Statistical Model Checking of Incomplete Stochastic Systems.