🎴 Flashcard Mode
Hybrid Temporal Logic (HTL)
Card1 / 14
Mastered0
Review0
QuestionClick to flip
Which of the following is a valid HTL formula?
AnswerClick to flip back
A
$\Box \Diamond p$
💡 Explanation:
$\Box \Diamond p$ means that it is always possible to reach a state where $p$ holds.