Slides: Automata, LTL, Safety and Liveness property
Completion requirements
PDF
Click 6-auotomata and temporal logic.pdf link to view the file.