R O ] 1 5 M ar 2 01 3 Minimum-violation LTL Planning with Conflicting Specifications