Toward a language-theoretic foundation for planning and filtering

Fatemeh Zahra Saberifar, Shervin Ghasemlou, Dylan A. Shell +1

We address problems underlying the algorithmic question of automating the co-design of robot hardware in tandem with its apposite software. Specifically, we consider the impact tha…