Panjkovic, Stefan

3 publications

AAAI 2024 Abstract Action Scheduling for Optimal Temporal Planning via OMT Stefan Panjkovic, Andrea Micheli

AAAI 2023 Expressive Optimal Temporal Planning via Optimization Modulo Theory Stefan Panjkovic, Andrea Micheli

AAAI 2022 Deciding Unsolvability in Temporal Planning Under Action Non-Self-Overlapping Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti