English

Automata-based Optimal Planning with Relaxed Specifications

Robotics 2021-07-30 v1

Abstract

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 to compute minimal relaxation policies for the robots using standard shortest path algorithms. The three-way automaton captures the robot's motion, specification satisfaction, and available relaxations at the same time. Additionally, we consider a bi-objective problem that balances temporal relaxation of deadlines within specifications with changing and deleting tasks. Finally, we present the runtime performance and a case study that highlights different modalities of our framework.

Keywords

Cite

@article{arxiv.2107.13650,
  title  = {Automata-based Optimal Planning with Relaxed Specifications},
  author = {Disha Kamale and Eleni Karyofylli and Cristian-Ioan Vasile},
  journal= {arXiv preprint arXiv:2107.13650},
  year   = {2021}
}

Comments

To be presented at International Conference on Intelligent Robots and Systems (IROS 2021)

R2 v1 2026-06-24T04:37:07.827Z