ML Anthology

Automatic Verification of Partial Correctness of Golog Programs

Naiqi Li, Yongmei Liu
IJCAI 2015 pp. 3113-3119
/ijcai/2015/li2015ijcai-automatic/
IJCAI Semantic Scholar

Cite

Text

Li and Liu. "Automatic Verification of Partial Correctness of Golog Programs." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Li and Liu. "Automatic Verification of Partial Correctness of Golog Programs." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/li2015ijcai-automatic/)

BibTeX

@inproceedings{li2015ijcai-automatic,
  title     = {{Automatic Verification of Partial Correctness of Golog Programs}},
  author    = {Li, Naiqi and Liu, Yongmei},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {3113-3119},
  url       = {https://mlanthology.org/ijcai/2015/li2015ijcai-automatic/}
}