Formal methods for robot motion planning with time and space constraints (extended abstract)
scientific article; zbMATH DE number 7497997