Scholar
Andrea Micheli
Google Scholar ID: fEApUCoAAAAJ
Fondazione Bruno Kessler
Citations & Impact
Citations
1,064
H-index
13
i10-index
21
Publications
20
Co-authors
24
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers, such as 'Unified Planning: Modeling, manipulating and solving AI planning problems in Python' (SoftwareX, 2025) and 'Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning' (AAAI, 2025). These works focus on the field of automated planning, particularly on how to model, manipulate, and solve AI planning problems in Python.
Research Experience
- I am the main developer of the TAMER planner and the PySMT library. Moreover, I coordinated the development of the unified-planning library and contributed to the development of the nuXmv model-checker.
Background
- I am the head of the Planning, Scheduling and Optimization (PSO) research unit in the Digital Industry center at Fondazione Bruno Kessler, Italy. I am the coordinator of the AIPlan4EU project and my research interests include Automated Planning and Scheduling, Formal Verification and Satisfiability Modulo Theory.
