2019
Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement
ICRA 2019poster
This paper presents an abstraction-refinement based framework for optimal controller synthesis of discrete-time systems with respect to ω-regular objectives. It first abstracts the discrete-time “concrete” system into a finite weighted transition system using a finite partition of the state-space. T…