Synthesising motion of human character animations or humanoid robots is vastly complicated
by the large number of degrees of freedom in their kinematics. Control spaces
become so large, that automated methods designed ...

Finite-state automata are a central computational model in computer science, with
numerous and diverse applications. In one such application, viz. model-checking, automata
over infinite words play a central rˆole. In ...