Eleni Karyofylli

Automata-based Optimal Planning with Relaxed Specifications

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 o…