Sharework project has been presented during the 1st workshop on “Artificial Intelligence and formal verification, logic, automata and synthesis” which took place on November 19-20, as part of the general program of the International Conference of the Italian Association for Artificial Intelligence (AIIA 2019). Andrea Orlandini (CNR-ISTC) was one of the organizers.
The workshop, hosted by OVERLAY Group, included a rich set of presentation from all the group thematic areas, as well as a great invited talk and a final discussion panel.
Project partner, Andrea Orlandini, Amedeo Cesta and Alessandro Umbrico, Sharework partners from the National Research Council of Italy (CNR), presented the paper “A prototype for the robust execution of flexible plans” on Sharework research based on timeline-based Planning and Scheduling (P&S). The workshop proceedings are available here: http://ceur-ws.org/Vol-2509/
The paper presents a new software prototype, tiga2exec, for dynamic controllable execution of timeline-based plans leveraging recent results gathered from the integration of P&S and Model Checking techniques. tiga2exec is deployed in a timeline-based planning system to control plan execution, guaranteeing dynamic controllability.
The OVERLAY group fosters the collaboration among a diverse team of Formal Methods and Artificial Intelligence researchers with the aim to pursue a multidisciplinary research at the border of the two fields.