Author:
Publication: Artificial Intelligence
Extracting mutual exclusion invariants from lifted temporal planning domains
Editorial Board