Detection of object abandonment using temporal logic