Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Can anyone give a model (pi) of the ltl formula above?
Hint: Take $p$ to mean even number, $q = \neg p$ meaning odd number.
Can you come up with a model where you have infinitely often $p$ and infinitely often $q$ but never both at the same time?
Required, but never shown