12 citations · 88 across the 34 of their papers we have counts for
1 paper · 1 filter
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This r…