Daniele Magazzeni

Best Publications

• Proceedings of Thirtieth AAAI Conference on Artificial Intelligence

  Lukáš Chrpa;Bart De Schutter;Daniele Magazzeni;Thomas L. McCluskey

  257
  Citations

• Validation and Verification of Smart Contracts: A Research Agenda

  Daniele Magazzeni;Peter McBurney;William Nash

  218
  Citations

• UPMurphi: a tool for universal planning on PDDL+ problems

  Unknown

  155
  Citations

• Explainable Planning

  Maria Fox;Derek Long;Daniele Magazzeni

  111
  Citations

• Efficient macroscopic urban traffic models for reducing congestion: a PDDL+ planning approach

  Mauro Vallati;Daniele Magazzeni;Bart De Schutter;Lukáš Chrpa

  110
  Citations

• An Introduction to the Planning Domain Definition Language

  Unknown

  109
  Citations

• An Introduction to the Planning Domain Definition Language

  Unknown

  107
  Citations

• ROSPlan: Planning in the Robot Operating System

  Michael Cashmore;Maria Fox;Derek Long;Daniele Magazzeni

  96
  Citations

• A compilation of the full PDDL+ language into SMT

  Michael Cashmore;Maria Fox;Derek Long;Daniele Magazzeni

  93
  Citations

• 30th AAAI Conference on Artificial Intelligence, AAAI 2016

  Mauro Vallati;Daniele Magazzeni;Bart De Schutter;Lukáš Chrpa

  86
  Citations

• AUV mission control via temporal planning

  Michael Cashmore;Maria Fox;Tom Larkworthy;Derek Long

  82
  Citations

• Automated Planning for Robotics

  Unknown

  77
  Citations

• Proceedings of OCEANS'13 MTS/IEEE

  Michael Cashmore;Maria Fox;Tom Larkworthy;Derek Long

  74
  Citations

• Automatic construction of efficient multiple battery usage policies

  Maria Fox;Derek Long;Daniele Magazzeni

  68
  Citations

• Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11).

  Unknown

  64
  Citations

• Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2014)

  Michael Cashmore;Maria Fox;Tom Larkworthy;Derek Long

  56
  Citations

• Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14)

  Sergiy Bogomolov;Daniele Magazzeni;Andreas Podelski;Martin Wehrle

  31
  Citations

• International Conference on Automated Planning and Scheduling

  Chiara Piacentini;Daniele Magazzeni;Derek Long;Maria Fox

  20
  Citations

• Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017

  Valerio Sanelli;Michael Cashmore;Luca Iocchi;Daniele Magazzeni

  20
  Citations

• Proceedings International Conference on Automated Planning and Scheduling, ICAPS

  Unknown

  13
  Citations