Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications

João Martins, Shengchao Qin, Zongyan Qiu, João Leite,

URL	http://dx.doi.org/10.1007/978-3-642-24559-6_11
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	6991
ISBN	978-3-642-24558-9
URL	http://dx.doi.org/10.1007/978-3-642-24559-6_11
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	6991
ISBN	978-3-642-24558-9

Publication