Automata-based Optimal Planning with Relaxed Specifications. - Disha Kamale; Eleni Karyofylli; Cristian-Ioan Vasile (IROS, 2021)