ML Anthology

Reactive Policy Checking for Action Languages

Zeynep G. Saribatur
IJCAI 2016 pp. 4024-4025
/ijcai/2016/saribatur2016ijcai-reactive/

Abstract

As autonomous systems become more common in our lives, the issue of verifying that they behave as intended and that their design policies are correct becomes more important. This thesis aims to build foundations for such a verification capability for policies with a reactive behavior, with a focus on combining the representation power of action languages with model checking techniques. PDF

PDF IJCAI Semantic Scholar

Cite

Text

Saribatur. "Reactive Policy Checking for Action Languages." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Saribatur. "Reactive Policy Checking for Action Languages." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/saribatur2016ijcai-reactive/)

BibTeX

@inproceedings{saribatur2016ijcai-reactive,
  title     = {{Reactive Policy Checking for Action Languages}},
  author    = {Saribatur, Zeynep G.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {4024-4025},
  url       = {https://mlanthology.org/ijcai/2016/saribatur2016ijcai-reactive/}
}