Automata-based Optimal Planning with Relaxed Specifications
Disha Kamale,Eleni Karyofylli,Cristian-Ioan Vasile,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 that capture permissible operations on the specification, substitution and deletion of tasks, with complex constraints on ordering and grouping. We propose a three-way product automaton construction method that allows us...
