资源分类
》 资源 》》On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic?

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic?

2019-11-18 | |  36 |   1 |   0
Abstract The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model checking decidable and prove undecidability of two open fragments over a class of models in which agents always have a choice of doing nothing.

上一篇：Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View?

下一篇：Further Connections Between Contract-Scheduling and Ray-Searching Problems?

用户评价
全部评价

热门资源

  • Multi-Source Cros...

    Modern NLP applications have enjoyed a great bo...

  • Reference Network...

    Neural Machine Translation (NMT) has achieved n...

  • Soft Contextual D...

    While data augmentation is an important trick t...

  • Style Transformer...

    Disentangling the content and style in the lat...

  • Towards Fine-grai...

    In this paper, we focus on the task of finegra...