LINEAR TEMPORAL LOGIC - PowerPoint Presentation

Download presentation
LINEAR TEMPORAL LOGIC
LINEAR TEMPORAL LOGIC

Embed / Share - LINEAR TEMPORAL LOGIC


Presentation on theme: "LINEAR TEMPORAL LOGIC"— Presentation transcript


By: cheryl-pisano
Views: 144
Type: Public

LINEAR TEMPORAL LOGIC - Description


Fall 2013 Dr Eric Rozier Propositional Temporal Logic Does the following hold yes Propositional Temporal Logic Does the following hold no Examples What do they mean G F p p holds infinitely often ID: 277023 Download Presentation

Related Documents