This dissertation is about the analysis of systems using temporal logics, focusing on three perspectives: temporal logic monitoring, motion planning with temporal logic specifications, and temporal logic inference from ...