Temporal Logics

  • Due No due date
  • Points 3
  • Questions 3
  • Time limit None
  • Allowed attempts Unlimited

Instructions

ltl-ex1.svg

ctl-example.svg

ctl-ex-1.svg

Check which properties hold in the following cases.

Take the quiz