AAAI Conference on Artificial Intelligence
Thirty-First AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
On the Disruptive Effectiveness of Automated Planning for LTL f -Based Trace Alignment

De Giacomo, Maggi, Marrella, Patrizi




Search conference