ML Anthology

Decidable Verification of Golog Programs over Non-Local Effect Actions

Benjamin Zarrieß, Jens Claßen
AAAI 2016 pp. 1109-1115
doi:10.1609/AAAI.V30I1.10109 /aaai/2016/zarrie2016aaai-decidable/
AAAI Semantic Scholar

Cite

Text

Zarrieß and Claßen. "Decidable Verification of Golog Programs over Non-Local Effect Actions." AAAI Conference on Artificial Intelligence, 2016. doi:10.1609/AAAI.V30I1.10109

Markdown

[Zarrieß and Claßen. "Decidable Verification of Golog Programs over Non-Local Effect Actions." AAAI Conference on Artificial Intelligence, 2016.](https://mlanthology.org/aaai/2016/zarrie2016aaai-decidable/) doi:10.1609/AAAI.V30I1.10109

BibTeX

@inproceedings{zarrie2016aaai-decidable,
  title     = {{Decidable Verification of Golog Programs over Non-Local Effect Actions}},
  author    = {Zarrieß, Benjamin and Claßen, Jens},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {1109-1115},
  doi       = {10.1609/AAAI.V30I1.10109},
  url       = {https://mlanthology.org/aaai/2016/zarrie2016aaai-decidable/}
}