Learning goals

Knowledge (remember and understand)

  • Explain the possibility to formulate general specifications through temporal logics: such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL).

Skills (use the knowledge to solve a problem)

  • …
Back to top