1 paper
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
In this paper, we introduce an automata-based framework for planning with relaxed specifications. User relaxation preferences are represented as weighted finite state edit systems…