Paper  bibtex   

@inproceedings{Ria-SPARK-16,
  author    = {Anton Riabov and Shirin Sohrabi and Octavian Udrea and Oktie Hassanzadeh},
  title     = {Efficient High Quality Plan Exploration for Network Security},
 booktitle = {Proceedings of the Scheduling and Planning Applications woRKshop (SPARK)},
   year      = {2016},
  pages     = {76-81},
  url = {SPARK-16-CameraReady.pdf},
  }