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

• A tutorial on Planning and SMT Erika and I gave at ICAPS’18. [resources]