1. C O M M U N I T Y P A R K G R O U P 2 G R O U P N A M E : A R C H I S C A P E S M E M B E R S : - T A Y S I E W W E N K Y L A G I L L I A N C H O N G C S Y A N Y E O N…
Slide 11 Computation Tree Logic (CTL) Slide 2 2 CTL Syntax P - a set of atomic propositions, every p P is a CTL formula. f, g, CTL formulae, then so are f, f …