Extended ω-Regular Languages and Interval Temporal Logic.
ICTCS(2021)
Abstract
Some extensions of ω-regular languages have been proposed in the literature to express asymptotic properties of ω-words which are not captured by ω-regular languages. Formal definitions of extended ωregular languages have been given in terms of both suitable classes of automata and extended ω-regular expressions. On the contrary, satisfactory temporal logic counterparts are still missing. In this paper, we give a characterization of them in terms of interval temporal logics.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined