Specification Formalisms: Temporal Logic and Automata on Infinite Words
https://www.powershow.com/view/2717af-YTlhY/Specification_Formalisms_Temporal_Logic_and_Automata_on_Infinite_Words_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/