$\omega$-regular expression to LTL

cs.stackexchange https://cs.stackexchange.com/questions/68907

Question

Is there any systematic (algorithmic) method to convert an $\omega$-regular expression like

$ (a^∗)(b)(b^∗)(a^∗)(c^\omega) $

to an LTL property?

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top