Planning in Dynamic Environments Through Temporal Logic Monitoring