Some Recent Results in Metric Temporal Logics

JoÅNelOuaknineandJamesWorrellAbstract.MetricTemporalLogic(MTL)isawidely-studiedreal-timeextensionofLinearTemporalLogic.InthispaperwesurveyresultsaboutthecomplexityofthesatisfiabilityandmodelcheckingproblemsforfragmentsofMTLwithrespecttodifferentsemanticmo