Reactive Policy Checking for Action Languages
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 4024-4024.
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.
Zeynep Gözen Saribatur. 2016. Reactive Policy Checking for Action Languages. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 4024–4024. https://ijcai.org/proceedings/2016/586
Saribatur, Z. G. (2016). Reactive Policy Checking for Action Languages. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 (pp. 4024–4024). IJCAI. https://ijcai.org/proceedings/2016/586
@inproceedings{ijcai2016p586,
title = {Reactive Policy Checking for Action Languages},
author = {Saribatur, Zeynep Gözen},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {4024--4024},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/586},
}
TY - CPAPER TI - Reactive Policy Checking for Action Languages AU - Saribatur, Zeynep Gözen T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 4024 EP - 4024 UR - https://ijcai.org/proceedings/2016/586 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
