Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL

v1

Type:Journal Article

0 views

[![NobleID](https://www.nobleid.org/api/badge/373C5643.svg?ark=w1%2F20260522%2F373C5643&value=id)](https://nobleid.org/work/w1/20260522/373C5643)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors