Alcherio Martinoli, Cyrill Silvan Baumann
More specifically, a behavior-based controller for a multi-robot exploration scenario is automatically synthesized using a predefined set of basic behaviors and conditions. A key feature of the used synthesis approach is the tailored use of two modeling le ...
Elsevier2023