🎴 Flashcard Mode
Temporal Logic
Card1 / 15
Mastered0
Review0
QuestionClick to flip
Which of the following is a temporal operator in Linear Temporal Logic (LTL)?
AnswerClick to flip back
A
$\lozenge$
💡 Explanation:
$\lozenge$ is the temporal operator for 'eventually' in LTL.