Security-related Efforts

This page assembles code and data for some security-related efforts. Unless otherwise specified, NCSU owns this code and retains all rights to it. However, we allow noncommercial use (i.e., for academic and research purposes) only. In general, the systems have not packaged where they would run directly out of the box.

• NoReST modeler study

• WickeD verification and refinement tool

• Kontes: CLP Implementation

• Summary
• Executables and instructions
• Bib
  

  @inproceedings{IJCAI-16:Coco,
    author = {Nirav Ajmeri and Jiaming Jiang and Rada Y. Chirkova and Jon Doyle and Munindar P. Singh},
    title = {Coco: Runtime Reasoning about Conflicting Commitments},
    booktitle = {Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI)},
    pages = {17--23},
    month = jul,
    year = 2016,
    publisher = {IJCAI},
    address = {New York}
  }