Optimizing Control Strategy Using Statistical Model Checking

October 16, 2017 in by

by Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikučionis
Reference:
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikučionis. Optimizing Control Strategy Using Statistical Model Checking. In Proceedings of the th NASA Formal Methods Symposium (NFM’13), pages 352-367. Volume 7871 of Lecture Notes in Computer Science. Springer, May 2013.
Bibtex Entry:
@string{may="May"}
@inproceedings{nasafm2013-DDLLM,
  address =       {Moffett Field, CA, USA},
  author =        {David, Alexandre and Du, Dehui and Larsen, Kim G. and
                   Legay, Axel and Miku{v{c}}ionis, Marius},
  booktitle =     {{P}roceedings of the th {NASA} {F}ormal {M}ethods
                   {S}ymposium ({NFM}'13)},
  editor =        {Brat, Guillaume and Rungta, Neha and Venet, Arnaud},
  month =         may,
  pages =         {352-367},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Optimizing Control Strategy Using Statistical Model
                   Checking},
  volume =        {7871},
  year =          {2013},
  doi =           {10.1007/978-3-642-38088-4_24},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  nasafm2013-DDLLM.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {10},
}