Linear Time Monitoring for One Variable Timed Propositional Temporal Logic (TPTL)

Vinayak Prabhu – DCS/Colorado State University

Room B336