Nie jesteś zalogowany |
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.
