LTL Goal Specifications Revisited.

Andreas Bauer, Patrik Haslum

Browse the full ECAI paper archive.