Gianluca Torta

SMT-Based Diagnosis of Multi-Agent Temporal Plans

2018

The paper proposes a model and methodology for diagnosing action failures in the execution of Temporal Multi-Agent Plans (TMAPs). Contrary to previous proposals in the literature, we characterize actions with a finite set of possible …