Login / Signup
Stefan Panjkovic
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Temporal Planning
Constrained Optimization
Heuristic Search
Classical Planning
Top Venues
AAAI
</>
Publications
</>
Stefan Panjkovic
,
Andrea Micheli
Expressive Optimal Temporal Planning via Optimization Modulo Theory.
AAAI
(2023)
Stefan Panjkovic
,
Andrea Micheli
,
Alessandro Cimatti
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping.
AAAI
(2022)