Sökning: "Stephen L. Smith"
Hittade 1 avhandling innehållade orden Stephen L. Smith.
1. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems
Sammanfattning : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. LÄS MER
Resultatsidor:
1