Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.

Ender Yksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson

Browse the full TASE paper archive.