{"type":"ScholarlyArticle","title":"Belief Revision on Computation Tree Logic","authors":[{"name":"Paulo T. Guerra","slug":"paulo-t-guerra","given":"Paulo T.","family":"Guerra","affiliation":""},{"name":"Renata Wassermann","slug":"renata-wassermann","given":"Renata","family":"Wassermann","affiliation":""}],"abstract":"Model checking is one of the most effective techniques in automated system verification. Although this technique can handle complex verifications, model checking tools usually do not give any suggestions on how to repair inconsistent system models. In this paper, we show that approaches developed to update models of Computation Tree Logic (CTL) cannot deal with all kinds of changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context.","doi":"10.5591/978-1-57735-516-8/IJCAI11-477","url":"https://ijcai.org/proceedings/2011/477","pdf":"https://ijcai.org/proceedings/2011/0477.pdf","markdown":"https://ijcai.org/proceedings/2011/477.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/477","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":477,"pages":{"first":2810,"last":2810},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}