An Automata Theory Method for the Analysis of Unicycle Pursuit Problems. - David Sovrat (2022)