Maximally Satisfying LTL Action Planning A. Our Approach and Contribution