@misc {IOPORT.70408020,
    author       = {Fainekos, Georgios E.},
    title        = {Revising temporal logic specifications for motion planning},
    howpublished = {ICRA, 40-45 (2011).},
    year         = {2011},
    doi          = {10.1109/ICRA.2011.5979895},
    identifier   = {70408020},
}