Interests

• Safe & explainable AI
• Verification and repair of learning systems;
• Planning (numeric, optimal), planning as satisfiability.

Publications

Please refer to my DBLP and Google Scholar pages.

Software

• OMTPlan: a Python framework for Optimal Planning as OMT. [download]

Talks

• AI Planning meets Production Logistics. Invited talk at FMAIL’19. [slides]
• A tutorial on Planning and SMT Erika and I gave at ICAPS’18. [resources]