A paradox for CTL

Prelegent(ci)

Mikołaj Bojańczyk

Afiliacja

Uniwersytet Warszawski

Termin

28 lutego 2007 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

The property "every path belongs to (ab)*a(ab)*" can be expressed in CTL; but necessarily using existential modalities. This shows that ACTL;does not capture the common fragment of CTL and LTL.

---