You are not logged in |
A paradox for CTL
- Speaker(s)
- Mikołaj Bojańczyk
- Affiliation
- Uniwersytet Warszawski
- Date
- Feb. 28, 2007, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
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.
