Sökning: "Georgios Fainekos"
Hittade 1 avhandling innehållade orden Georgios Fainekos.
1. Cooperative Motion and Task Planning Under Temporal Tasks
Sammanfattning : Temporal-logic-based languages provide a formal and accurate way to specify complex motion and action missions for autonomous robots, beyond the classic point-to-point navigation task. The first part of the thesis is devoted to the nominal scenario: an autonomous robot is given a motion task specified as Linear-time Temporal Logic (LTL) formulas. LÄS MER
Resultatsidor:
1