On the Disruptive Effectiveness of Automated Planning for LTL

Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi

Browse the full AAAI paper archive.