Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping.

Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti

Browse the full AAAI paper archive.