ML Anthology

A Methodology for Systematic Verification of OPS5-Based AI Applications

G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala
IJCAI 1991 pp. 3-8
/ijcai/1991/prakash1991ijcai-methodology/
PDF IJCAI Semantic Scholar

Cite

Text

Prakash et al. "A Methodology for Systematic Verification of OPS5-Based AI Applications." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Prakash et al. "A Methodology for Systematic Verification of OPS5-Based AI Applications." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/prakash1991ijcai-methodology/)

BibTeX

@inproceedings{prakash1991ijcai-methodology,
  title     = {{A Methodology for Systematic Verification of OPS5-Based AI Applications}},
  author    = {Prakash, G. Ravi and Subrahmanian, Eswaran and Mahabala, Hosaker N.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {3-8},
  url       = {https://mlanthology.org/ijcai/1991/prakash1991ijcai-methodology/}
}