Probabilistic Model Checking for Green Energy Router System in Energy Internet.

Min Gao, Kun Wang, Lei He

Browse the full GLOBECOM paper archive.