{"type":"ScholarlyArticle","title":"Reactive Policy Checking for Action Languages","authors":[{"name":"Zeynep Gözen Saribatur","slug":"zeynep-gozen-saribatur","given":"Zeynep Gözen","family":"Saribatur","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/586","pdf":"https://ijcai.org/proceedings/2016/0586.pdf","markdown":"https://ijcai.org/proceedings/2016/586.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/586","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":586,"pages":{"first":4024,"last":4024},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}