
Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
The objectives and learning outcomes for a university course on temporal logic. Topics covered include interpreting and writing ctl* formulas, understanding temporal logic operators, and creating execution trees. Students will also learn about the differences between ctl*, ctl, and pltl, and the concept of a kripke structure. The document assumes prior knowledge of automata and temporal logic.
Typology: Assignments
1 / 1
This page cannot be seen from the preview
Don't miss anything!
Objectives: Temporal Logic 6/6/
Reference : Bérard chapter 2
Know how to
Be able to
Understand
The examples used in class and in the handouts.