A Formal Methodology for Verifying Situated Agents

AAAI 1998 pp. 637-642

/aaai/1998/dung1998aaai-formal/

Cite

Text

Dung. "A Formal Methodology for Verifying Situated Agents." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Dung. "A Formal Methodology for Verifying Situated Agents." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/dung1998aaai-formal/)

BibTeX

@inproceedings{dung1998aaai-formal,
  title     = {{A Formal Methodology for Verifying Situated Agents}},
  author    = {Dung, Phan Minh},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {637-642},
  url       = {https://mlanthology.org/aaai/1998/dung1998aaai-formal/}
}