LTL Guided Planning: Revisiting Automatic Tool Composition in ETI


We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool sequences is a form of planning-based automated orchestration. In contrast to Al-based planning approaches, our synthesis approach is not… (More)
DOI: 10.1109/SEW.2007.101


5 Figures and Tables

Slides referencing similar topics