Slide 1 GM-CMU Collaborative Research Laboratory Temporal Logics for Analyzing Hybrid Systems Simulation Traces Slide 2 GM-CMU Collaborative Research Laboratory Sources of…