A Hoare-Style Proof System for Robot Programs

AAAI 2002 pp. 74-79

/aaai/2002/liu2002aaai-hoare/

Cite

Text

Liu. "A Hoare-Style Proof System for Robot Programs." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Liu. "A Hoare-Style Proof System for Robot Programs." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/liu2002aaai-hoare/)

BibTeX

@inproceedings{liu2002aaai-hoare,
  title     = {{A Hoare-Style Proof System for Robot Programs}},
  author    = {Liu, Yongmei},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {74-79},
  url       = {https://mlanthology.org/aaai/2002/liu2002aaai-hoare/}
}