Minimum-violation LTL planning with conflicting specifications

Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus. Minimum-violation LTL planning with conflicting specifications. In American Control Conference, ACC 2013, Washington, DC, USA, June 17-19, 2013. pages 200-205, IEEE, 2013. [doi]

Abstract

Abstract is missing.