Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications

@inproceedings{DBLP:conf/icfem/MartinsPL11,
	pdf = {pub/bayesmc-grid.pdf},
	slides = {pub/bayesmc-grid-slides.pdf},
	study = {https://www.cs.cmu.edu/ jmartins/smart.html},
	author = {['João Martins', 'André Platzer', 'João Leite']},
	title = {Statistical Model Checking for Distributed
               Probabilistic-Control Hybrid Automata with
               Smart Grid Applications},
	booktitle = {ICFEM},
	year = {2011},
	pages = {131-146},
	doi = {10.1007/978-3-642-24559-6_11},
	editor = {['Shengchao Qin', 'Zongyan Qiu']},
	longbooktitle = {Formal Methods and Software Engineering,
               13th International Conference on Formal
               Engineering Methods, ICFEM 2011, Durham,
               UK, October 26-28, 2011. Proceedings},
	publisher = {Springer},
	series = {LNCS},
	volume = {6991},
	isbn = {},
	keywords = {Bayesian statistical model checking,
               distributed hybrid systems,
               probabilistic hybrid automata,
               verification of smart grid}
}