6 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Wanwei Liu
We in this paper show that omega regular languages are not closed under infinite union and intersection. As an attempt, we propose to add step variables and quantifiers to temporal…