Dual Reactive Planning for Heterogeneous Robots With Evolving Capabilities in Unknown Environments
Heterogeneous robot teams executing Linear Temporal Logic (LTL) missions are usually modeled with fixed robot capabilities. In practice, capabilities may change during execution through tool acquisition, sensor activation, or module reconfiguration, making previously infeasible tasks executable and