资源分类
》 资源 》论文》Belief Revision on Computation Tree Logic

Belief Revision on Computation Tree Logic

2019-11-12 | |  75 |   40 |   0

Abstract

Model checking is one of the most effective tech-niques in automated system verification.  Although this  technique  can  handle  complex  verifications,model checking tools usually do not give any sug-gestions on how to repair inconsistent system mod-els.  In this paper, we show that approaches devel-oped 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.


上一篇：Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance

下一篇：Distributed Constraint Optimization Problems Related with Soft Arc Consistency

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...