TY  - RPRT
TI  - Minimum-violation LTL Planning with Conflicting Specifications
AU  - Jana Tumova
AU  - Luis I. Reyes Castro
AU  - Sertac Karaman
AU  - Emilio Frazzoli
AU  - Daniela Rus
PY  - 2013
UR  - https://arxiv.org/abs/1303.3679
ID  - 1303.3679
ER  -