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]

Authors

Jana Tumova

This author has not been identified. Look up 'Jana Tumova' in Google

Luis I. Reyes Castro

This author has not been identified. Look up 'Luis I. Reyes Castro' in Google

Sertac Karaman

This author has not been identified. Look up 'Sertac Karaman' in Google

Emilio Frazzoli

This author has not been identified. Look up 'Emilio Frazzoli' in Google

Daniela Rus

This author has not been identified. Look up 'Daniela Rus' in Google