Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. - Stefan Panjkovic; Andrea Micheli; Alessandro Cimatti (AAAI, 2022)

Expressive Optimal Temporal Planning via Optimization Modulo Theory. - Stefan Panjkovic; Andrea Micheli (AAAI, 2023)

Abstract Action Scheduling for Optimal Temporal Planning via OMT. - Stefan Panjkovic; Andrea Micheli (AAAI, 2024)

Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture. - Elisa Tosello; Paolo Bonel; Alberto Buranello; Marco Carraro; Alessandro Cimatti; Lorenzo Granelli; Stefan Panjkovic; Andrea Micheli (IEEE Robotics Autom. Mag., 2024)

Platform-Aware Mission Planning. - Stefan Panjkovic; Alessandro Cimatti; Andrea Micheli; Stefano Tonetta (CoRR, 2025)