@conference{KaKaVa-IROS-2021, author = {Kamale, Disha and Karyofylli, Eleni and Vasile, Cristian Ioan}, title = {{Automata-based Optimal Planning with Relaxed Specifications}}, booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)}, pages = {6525--6530}, month = {October}, address = {Virtual}, year = {2021}, note = {\href{https://ieeexplore.ieee.org/abstract/document/9635906}{doi:10.1109/IROS51168.2021.9635906}} }