Temporal Logic
Casual Mode - Take your time!
1 / 15
Correct
0
Incorrect
0
Score
0%
Multiple Choice
Which of the following is a temporal operator in Linear Temporal Logic (LTL)?
- $\square$
- $\lozenge$
- $\circ$
- $\Diamond$
Casual Mode - Take your time!
Which of the following is a temporal operator in Linear Temporal Logic (LTL)?