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{\~a}o Martins and
               Andr{\'e} Platzer and
               Jo{\~a}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 and
               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},
}```