Robust MITL planning under uncertain navigation times
Alexis Linard,Anna Gautier,Daniel Duberg,Jana Tumova,Alexis Linard,Anna Gautier,Daniel Duberg,Jana Tumova
In environments like offices, the duration of a robot’s navigation between two locations may vary over time. For instance, reaching a kitchen may take more time during lunchtime since the corridors are crowded with people heading the same way. In this work, we address the problem of routing in such environments with tasks expressed in Metric Interval Temporal Logic (MITL) – a rich robot task speci...
